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?