Gentlemen, thank you very much, that is good news. Anyone out there with Windows and Firefox and can confirm it has the 'Print to file' with the option to select pdf. The article Paul linked indicates Chrome is as Peter mentions for Debian, but doesn't mention Firefox; or IE.