In your workspace, click the ⋯ button. Select "PDF / Markdown export".

0:00
/