Laws banning anonymity by government employees are foolish