No, it should become "". Animats has his name in his account's "about" for anyone who's interested, and if we had an extension, anyone could annotate the accoun

No, it should become "". Animats has his name in his account's "about" for anyone who's interested, and if we had an extension, anyone could annotate the account name as they please. Anyone who isn't interested might not care who's commenting anyhow. When someone's identity is pertinent, it seems like they tend to state it eventually anyhow.