Just a little reminder (to myself) about changing the path of a git submodule