Some modifications to gitignore etc