@igutierrez@mastodon.social What do you edit PDF with though? Nowadays if I'm working with other people I use Google Docs. Formatting stays correct (not the case when going between Word/OpenOffice/LibreOffice esp with different OS), I can add comments and suggestions, have revision tracking, and can work synchronously with colleagues.
I'm not sure you can really do that with PDF, but I'll be super happy to be corrected.