Also, it would be great if the “dark” theme could finally be fixed, especially the [CMD]…[/CMD] tags that produce unreadable results
(white text on light grey background). Should be trivial to fix in the theme’s CSS files, shouldn’t it?
(And I can’t work around it locally because my browser at the office doesn’t allow me to install user CSS or add-ons.)