Sometimes people have things saved to Google drive with the setting to save disabled but allow printing. Which means you can just print to pdf. Only case where I can think of where printing to PDF is the easiest option.