Noticed that the sgx-runtime is still mentioned as a stand alone repo. That's not the case anymore: https://github.com/integritee-network/docs/blob/main/4-development/4.1-high-level-overview-of-repositories.md