On Wednesday, 9 November 2022 at 21:18:33 UTC, Walter Bright wrote: > This thread is descending into politics. Please stop. Sorry for this, my biggest fear was that this would descend into a political discussion, but that wasn't my intention with this post, but it is probably my fault for bringing this question up, apologies.