register new prettyprinting module in default configuration. HEADSUP: you will need to do this in your own pubs as well if you want to use the prettyprinting stylesheet.
Changed paths: