gitignore for docs and small tweak