On Tue, 2022-06-21 at 08:19 -0700, Kerim Aydin via agora-discussion wrote: > I don't agree with this interpretation. There are quite a few examples of > using "wrong" nicknames if the person is clear from context (it's ancient > so I'm not citing this as strict precedent, but CFJ 1361 is an example). > I think there's sufficient context in the Agoran discussion forum of > Discord (including the nickname Jason gives emself there) for this to be > person-specifying.
Counterevidence: not being a Discord user, although I'm vaguely aware that there's someone named "Random Internet Cat" on Discord, I couldn't remember which Agoran it was (until this thread reminded me). So this didn't immediately specify a particular person, from my point of view. (I could probably have figured it out if it were important.) When I originally joined Agora, there was some sentiment that players should be able to play without reading a-d (and people would send "important" things to a-b as a consequence, even if they contained no game actions). I'm not sure whether and when that part of game custom changed, but it's probably still the case that information only available via a discussion forum isn't available to Agorans generally. -- ais523