Description

Hello,

I think PDF export is missing

Kind regards

Suggested solution

Following #892 a PDF export feature will be great.
It will be even greater if it is accessible both through CLI and from UI
Embedding code into PDF to be able to regenerate notebook (into https://marimo.app/ or in our own Marimo install) could be a nice feature to also have.

Alternative

No response

Additional context

No response