I didn't notice you changed the header earlier, even though I looked at it to tell the difference between which tabs I was going to look at next, and just suddenly had the revelation you did just now.
Best changes are ones that are so useful it speeds the process up so that it goes unnoticed,
imo. Thanks