I was searching for something else entirely, but the rules around IRS employee’s use of pseudonyms is pretty interesting.