A few tweaks to Manifest and .gitignore