History of 2017-10-30 Pdf-tools and follow mode

18:59 UTC Revision 1 . . . . Marcin BorkowskiToday I discovered an extremely cool feature of pdf-tools. Assume that you have a pdf file with annotations (that is, those funny yellow sticky-note-like thingies which show some text when hovered or clicked). Assume that they are done by the editor of a journal you work for, and you have to modify the source LaTeX file accordingly. (This is a rather specialized use, but I think the feature may have more applications.) My previous workflow involved using a mouse (actually, a touchpad, but I hate both with a passion). But there’s a much better way.