We should mention other repositories (such as Theia IDE and website) in the Readme. See also: https://github.com/eclipse-theia/theia-website/pull/524