Edit the new HTML file again, adding the same code for a print button that was used on the original file; this will make it easier for visitors to print the file without having to use the "Print ...