Added a couple of new plugins, for html, git, etc.