Is it possible in the iOS webkit, when a page print is selected -> print to PDF using the arrow menu, to have the exported PDF file name be the filename valid form of the printed page's title?
Currently it seems that in iOS webkit browsers including Orion, and Firefox iOS, the filename defaults to ${BrowserName}.pdf, so it's always just Orion.pdf when printing any webpage to PDF.
Contrast this with regular Safari which generates a filename valid version of the page title as the suggested default print PDF filename.
This may be a limitation/"bug" in the iOS Webkit integration, but thought I'd raise it.
Thanks,
This is a relatively small-scale change but would remove a step for users who are printing page tabs to a PDF. It eliminates the need for the user to always rename the filename for any PDF print.