Misc documentation and gitignore update.