Several UI fixes. I’d love to know if there are concerns, in principle the UI shouldn’t change, except for a bug fix encountered on the way, but it does change bright green -> grey/black.

Looks good to me