PDF: implement highlight annotation saving