Deadlock Theia resources, contains also the plugins
An example custom Deadlock custom challenges repository.