usermanual: pretty-print reworked a bit