Documentation for tex-pdfcomment
