Merge pull request #1798 from JelteF/patch-1

Tex: Ignore files generated by pdfcomment package