plugins are now git submodules, where possible.