Change HTML reference to PDF; Update gitignore