Hotifx in .gitignore (deleted a few entries)