Just in case somebody is wondering how to print to PDF in 9.10 it is as simple as the following:

sudo apt-get install cups-pdf

You will then have a PDF printer option available with the output...