How to export a Pluto.jl notebook

After writing your Pluto notebook, you have a couple options to export your notebook, to share with someone else:

• Notebook file (.jl) – This is how Pluto stores your notebook file, and you can share it directly with someone else so they can run your notebook.
• Static HTML – A snapshot of your notebook with outputs in a versatile format.
• PDF – A traditional PDF document for printing.
• Recording – A special type of video!