doc: add section on PDFs, pdf.js and upgrading it

also move Frontend.md to Developer-Guide.md