Web Extension for saving a faithful copy of a complete web page in a single HTML file