Description

I would like to generate project documentation using sphinx, ultimately destined for readthedocs. To this end, I would like to generate static HTML versions of the marimo "notebooks" (sacrificing interactive elements) and downloading them locally, eventually uploading them to readthedocs along with the sphinx generated stuff. I can achieve this through the web interface ("Download HTML") but I can't do it with, say marimo CLI.

Suggested solution

A sphinx add-on to do all this for me would be great, something like 'nbsphinx' (converting the .ipynb files into static HTMLs). :)

Alternative

If I could do something like "marimo download my_marimo_notebook.py --html", then I can run a script to generate the HTMLs of my marimo files.

Additional context

No response