One cool thing about Google Docs document history is it doesn’t log which of your coworkers switched your Paged doc to Pageless (it was me)