Category choice menu option not showing for some users when creating new topics

[mjw (See you in the major leagues, Jack.)]

Could be browser caching. I’ve seen a couple or so today, but not the usual numbers.