#411: Submodule, adjust '.gitmodules' to 72e66f7, respectively