Theos submodule.
Better .gitignore.