really nasty TeX source to "bleed" into the PDF "bookmarks".
Attach a file by drag & drop or click to upload
