Putting `main.pdf` back into `.gitignore` to avoid further accidents.