Go back to Jason Woofenden's version from (2013-08-28) which has the features and coloring I like
Add support for 'trait' and 'finally' coloring and folding