Nice. Thank you for your great help! However here's an issue with bookmarks -- when I click on a bookmark, I am not taken immediately to that line (which is what I would have expected when I click on a bookmark). I am taken close to the spot but not quite to the spot, which is a bit annoying. Any insight on how to resolve it or it is just how these bookmarks are built to do?
... View more