This is documentation for tex-pdfcomment.