Useful to save web pages as local markdown files, for search

Also useful to output PDF from pages!