What tool do you use to highlight PDF? Do you copy your highlights to a .org file? I use org-noter, but it seems the mouse is necessary to work with PDF. Best regards, Ypo