Yesterday I edited a question and its accompanying answer to change players from A, B, and C to Alice, Bob, and Carol, common placeholder names. The edit was rolled back by another user, before being reapplied by the OP.
Since at least one other user agreed with the rollback, I thought I'd take it to meta to discuss this, since I've done edits like these occasionally and would like to keep doing them, since I think they improve readability.
Searching for Alice
yields a bit over a hundred results; searching for questions only (Alice is:q
) yields about fifty.
I see three options, which users should feel free to add here as answers to vote on. I will provide the option I like the best as an answer.
- Yes, we encourage usage of names of letters, actively editing questions to replace letters with names.
- We don't care either way and don't go out of our way to change it.
- We actively discourage it.