mmux: remove debug print messages
mmux: remove debug print messages
mmux: Rename muxmenu widget as menumux
Merge remote branch 'dls-github/CSS24_menumux'