Please remove this, I don't really want the equivalent of .gitignore here...