I found printing to a PDF file useful occasionally useful under Windows. Neat to have a way to do it in Ubuntu: 5 steps to create a PDF printer (print to PDF) in Ubuntu