Hi Mozilla team,
I recently switched to Mozilla from a Chromium-based browser and have been enjoying the experience so far. However, I find myself really missing an eraser tool for the PDF viewer, especially when I'm using my notebook with a pen.
While the delete function for annotations is helpful, having an eraser would make things much easier for users like me who frequently make freehand annotations. For instance, when I'm taking notes or marking up documents, it's much more convenient to quickly erase mistakes with a pen rather than navigating to the delete button to delete them.
This feature would be really beneficial for mobile and tablet users. Implementing an eraser tool and possibly adding pen eraser detection would be great for pen-enabled devices.
Thank you for considering this enhancement!