I'd like to suggest adding basic PDF markup tools to the browser.
42a4a709-fc85-4287-97b0-0e16188fdc77-image.png
This would entail just
highlighting
0c255e9e-e1dd-4aa6-85d7-45c53620e5c4-image.png
drawing
2251825f-9e54-4e77-8cef-724cc1332c23-image.png
adding text boxes
581a1927-6056-4f27-afee-2af0f5f0346e-image.png
erasing these markups
I gave up on Adobe Accrobat Reader years ago and primarily use MS Edge as my default PDF reader.
But that means that I am using two browsers and when I want to quickly search a keyword from the document I have to either copy it to Opera or search with Bing (even if google is my default engine).
So being able to basically markup PDFs in Opera would allow me to delete MS Edge and use Opera for so much more.