Wasabi Wallet stopped being a coordinator on June 01 2024. When o_e_l_e_o posted on Jun 21 2023 it was correct because zkSNACKs were devs & coordinators. The naughty coins parameter with Wasabi Wallet doesn't exist after they've stopped being coordinators. Wabisator's got 4 coordinators in the list ppl will have to add one if they want to use Wasabi Wallet.