That\'s exactly it jabob, having a printer friendly version of the guide can be good if you look for some information when you are online, if you don\'t want all the information, don\'t print everything but at least you can print everything if you want with a printer friendly manual. I don\'t know if PDF can be done with docbook, maybe it can be better with PS instead. Anyway if it is easy to do why not ? The actual version of the guide is not very easy to print and you have to cut and paste each page separately, that\'s tedious I think, for me who has just started a few days ago I need the manual a lot, and I think a lot of newbies also needs a paper manual in hand.