> was the right thing to do for end users.
Only because the company made the change anyway on a sister site, for an unrelated reason, and hadn't bothered to make the same change here.
Only because the company made the change anyway on a sister site, for an unrelated reason, and hadn't bothered to make the same change here.
(I thought I'd read to the end but hadn't realised that was the tl;dr until I read your comments, FWIW)