ThKr: manifest changes
ThKr: changes in .gitignore