.gitignore: uncommented rule for .pdf files