What website do you use for public transportation?
15 karma · joined May 21, 2022
Other users have noted both of these before. I didn't find an easy fix to 1, and a partial solution to 2 uses an extension, but IIRC it still requires manually running a command to transfer annotations to the PDF document itself.