Working with Git submodules can be awkward: they aren't always supported separately. We should share scripts to facilitate that.