Is Theia IDE yours?

Prove you run theia-ide.org and the listing becomes yours to edit. Two ways: a link to an email address on that domain, or a one-line tag on your homepage.