You are correct. zkSNACKs pays for Wasabi development through fees it collects from the coordinator (well, whatever is left over after they fund blockchain analysis companies, of course).

It is quite clear from their blog posts, interviews, social media, etc., that they see themselves as second only to Satoshi in importance when it comes to bitcoin. Without them, bitcoin would fail.

You obviously aren't, but mixers are one of the things franky1 hates, along with Lightning, Core, segwit, privacy in general, and a bunch of other stuff, so no amount of logical arguments will change his mind. Everyone arguing with him here is wasting their time and helping him achieve his goal of derailing this thread in to another one filled with his excessive rants.

Let's try to stay on topic here guys.

I would note that there have been (so far) unsuccessful efforts to try. For example, AOPP was proposed as a solution for centralized exchanges to whitelist users' addresses (i.e. apply KYC to external wallets), and only allow deposits or withdrawals to or from these addresses. It was supported by a bunch of projects and wallets, some of which I really hoped would know better. It was only after community backlash that they all dropped their support and AOPP seems to have a hit a dead end. So while I agree that educating the bulk of users will not and can not solve many issues, if there had been no education on the AOPP issue then it would have proceeded unopposed and would end up in widespread use.