Then I discovered ttyd, with which I was able to turn my Linux shell into a live, shareable session in less than 30 seconds.
Chrome’s new “Save to Google Drive” option is in the release version behind a flag and uploads files straight from the PDF ...