This small tweak adds a button to the print menu that converts and displays the current web page as a PDF file, which can be saved or sent to external apps. Text is preserved (not rasterized), but link information is lost--this is a limitation of the native rendering mechanism.