As now plugins are managed via plugin managers, there is no need to have
in the documentation instructions to clone the repository with
sub-modules.