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:…
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:…