PDF Mithra - Your friendly companion for PDF highlights.
Introduction
After years in academia, I've come to realise there are certain things we all just quietly wish worked better — and nobody ever gets around to fixing them.
One of those things, for me, was PDF annotations. You spend hours reading a paper, highlighting key arguments, leaving comments
