.gitignore: allow PDF of admin guide