I’d trust Kris if he says it’s a bug.
This just reminded me of a problem I had a while ago where I had changed the text for the category and tag dropdown, but for days it only worked sometimes.
But it looks like it’s not the problem in this case, and I never tried to find out why the texts worked like that.