help directory is now a git submodule.