`.gitignore` updated for publication