Added Dmitri's pretty-mode.