On Tuesday, 26 May 2020 at 12:20:31 UTC, Johannes T wrote: > On Tuesday, 26 May 2020 at 03:37:29 UTC, Walter Bright wrote: >> [..] > > Thank you very much for your patience with all the negative > feedback. Yes, good think to stop once in a while and appreciate it. "To not complain is sufficient praise", does not always cut it.