Housekeeping: gitignore and robots