Thanks @ChrisAldrich

We now have an option to export directly as well.

youtube.com/watch?v=rkbF1g…

We are also working on ability to export the searched and selected highlights. Do you think it will be helpful?