Note: the syntax of command/switch `sed -i` is slightly different on macOS vs. Linux and should not be used. Move .gitignore parts referring to /documentation/ to their own file 'documentation/.gitignore' and add new generated file(s).
