Chris May
Chris May
2021-01-01T00:00:00+00:00
The odd ordering of highlights in PDF files persists for me.
Here, here! I realize one issue I might have is that there hasn't been a release in a few months. It may have been fixed, but I haven't been able...