! No shortcuts in '.gitmodules' please...