// Modules converted into Git submodules