There was a bug, that Katacoda was not installing the devonfw-ide when using the command `restoreDevonfwIde`. This was because Katacoda did not load the assets into the tutorial and thus there were no setup scripts. See also issue #332. A first solution was to downgrade the Katacoda image from ubuntu:2004 to ubuntu:1804 (#335). We should find out why this does not work with the newer image.