yep, they are proper git submodules, and this way you can specifically control which of them you want to update, and when.