I wonder what status this project has. Would it make sense to start working on a Theia extension already?