theia-ide/theia-racket-extension not found