[sabidib]

I ran into a similar problem as the author: trying to easily extract highlights without having to go through ssh.

I ended up building a cmdline tool to solve the problem and have been using it for a while: https://github.com/sabidib/remarking