I can't tell if this is a serious argument or just relying heavily on the use of "maybe" to get away with expressing something that they know most people will disagree with, but I feel like it's a huge stretch to imply that what makes sense for numbers on maybe a couple hundred professional athletes' shirts when they're playing publicly on televised events would apply at all to usernames for millions of normal on their own private devices. To just call out one of the many obvious concerns: this would presumably break any existing logins (and scripts referencing the home directory). The MLB even took this into consideration when they retired 42 for the entire league in honor of Jackie Robinson; any players currently using the number were allowed to continue using it until they retired, and that's was just out of courtesy rather than any actual necessity.

Let's leave this out of our commonly used code.

I also think that, as important as Unix was for the history of computing, it's also outdated in a lot of ways that I think are holding back computing. We should be reconsidering the use of C to write an operating system at all, as well as the concept of a username in the traditional Unix sense. My ideal operating system wouldn't have `useradd.c` as a concept to begin with.

I mean, locking the account was entirely understandable. Deleting it, though ...