pretty-mode-plus is now pretty-mode.