pretty-mode-plus has been renamed to pretty-mode
Merge pull request #1509 from dholm/bugfix/pretty-mode-plus

pretty-mode-plus has been renamed to pretty-mode