I use a wacom tablet, but do not use traditional proofreading marks. Instead, my clients use the commenting within Adobe Acrobat to mark up the PDF. From there, I use a third party program from DTP tools that allows InDesign to take in many of the strikethrough, addition and alterations features directly, and shows highlights and speech bubble alts. https://dtptools.com/product.asp?id=anid if you’re interested.
Bernard, are you the proofreader? What happens to the proofs once they have been marked up in Acrobat – are they printed out and then handed over for editing, or does the operator open the PDF with the markups and make the alts with indesign open in another window? If the latter is the case, then the software from DTP tools will definitely be in your interest.
Just to declare interests, I am NOT affiliated with DTP tools nor is this a paid endorsement. I DO use it in my workplace but pay a full yearly subscription.