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 t

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 https://github.com/sabidib/remarking