title: Google Co-laboratory notebook PDF download
body: <p>Google Co-laboratory notebook doesn't have the "Download as" dropdown menu item in "File" menu like standalone Jupyter does. How to download the notebook as PDF?</p>