@cstross@wandering.shop Then it's not a world championship. Everyone can point that out, and anything done at the event can be dropped from every scorekeeper's books. It's a non-event now. Just like FIFA's US World Cup, it doesn't matter and isn't real. Everyone should boycott.