Please integrate with jsonchin / highlight_tool

[dstengle]

https://github.com/jsonchin/highlight_tool

It looks like this highlighting project could provide a way to get more persistent highlighting functionality if there was a way to integrate them. The ephemeral nature of reader-view would need to be solved, but then this other extension could take care of more advanced highlighting and persistence.