Last week’s Google: how to add git submodule

This week’s Google: how to remove git submodule

And the circle of life continues…