bootstrap: added simple steps to remove a git submodule (hard to remember)