Ben Reiniger wrote on Tue, Feb 18, 2020 01:11 PM UTC:
In the intervening time, we've had submissions from strong community members who do not have their real names displayed on these pages. I (and I think we?) still have a slight preference for real names, for the encyclopedic nature of the site, but there are many sites now where site-famous people are later referred to as "user xyz of site abc," so maybe it's fine.
Another thing that changed in the time since your submission: the Diagram Designer. The use of a period to denote a dot on the board (for movement diagrams) has been deprecated; you can replace them with a pound symbol (#), or a few other options.
In the intervening time, we've had submissions from strong community members who do not have their real names displayed on these pages. I (and I think we?) still have a slight preference for real names, for the encyclopedic nature of the site, but there are many sites now where site-famous people are later referred to as "user xyz of site abc," so maybe it's fine.
Another thing that changed in the time since your submission: the Diagram Designer. The use of a period to denote a dot on the board (for movement diagrams) has been deprecated; you can replace them with a pound symbol (#), or a few other options.