It must have been that baldyeti, since when I verified the configuration it had three options, beginner, knoppix and debian. I chose knoppix when I first installed it.

I'm going to try godot instructions to see what happens.