• old wiki Pretty Printing