I'd like a way to suggest an option to run a pluto notebook as a script and have it export the resulting notebook to an HTML or PDF file.