There is no in browser method for exporting highlights. One could conceivably be added, of course, however its not something I particularly care about. What's your use case for it?
There is no in browser method for exporting highlights. One could
conceivably be added, of course, however its not something I
particularly care about. What's your use case for it?