is this using git submodules? we don't use those for anything as far as I know. but perhaps we should?