Include >80 highlighting and some new plugins