On Tuesday, 8 November 2022 at 22:51:42 UTC, Walter Bright wrote: > I forgot to add that if forum members prefer to use a > pseudonym, we respect that and will not attempt to unmask them. Thank you for this.