apio 86b50a6aa0 Remove random demos
Cool, but cumbersome in practice: have to continually restart until I get the demo I want.

So let's stick to init for now.
2022-10-11 19:25:19 +02:00
..
2022-10-11 19:25:19 +02:00