I’ve updated my older post on PDF Tools with slightly cleaner code, for anyone who’s using this method of extracting annotations!
