On Wednesday, 7 October 2020 at 03:10:34 UTC, Walter Bright wrote: > On 10/6/2020 7:37 PM, Stefan Koch wrote: >> I'd like you to leave this thread. > > That's uncalled for. Please stop. What is?