@geoffbish UI change in Opera 100. Very low chances of a change back, I guess.