rm dark mode

Broken.

Maybe nice to have in the remote future, but right now an unnecessary complication.

added GUI simplify labels

assigned to @j.wuttke

mentioned in commit 1ce17303

mentioned in merge request !2283 (merged)

mentioned in commit b8cc14bc

closed with merge request !2283 (merged)

marked this issue as related to #972 (closed)