In reply to a tweet by jheftmann:

@jheftmann File->Print, then pick 'print to PDF'.