But if he's promoting his own coinjoin coordinator, shouldn't that be banned? See:
Examples of things that are not banned mixers include exchangers (unless they have a mixing function), CoinJoin-supporting non-custodial wallets, and Monero.
Not banning the wallet is one thing, but isn't actively promoting the coordinator more or less the same as promoting mixing?
This is an incredibly good point and I fully support it.