Master repo for extension code. Note: this has nested submodules