Tutorial about saving/loading files. Could also highlight PlutoUI's `LocalResource` / `DownloadButton`.