That’s a pretty good sign that we have too many bureaucrats if they have the time to care about this (pun intended)