notes on .gitignore; fix submodule