Add to .gitignore: Files I got from Il-youp, from his talk