No-KYC exchanges are very intentionally not banned. This service is different in two important ways:

First, referring to the mixer definition, it "has a feature advertised for taking property, improving its privacy somehow, and then returning roughly the same type of property." It allows BTC->BTC "trades", which satisfies the "returning the same property" part, and it advertises itself as improving privacy of the returned coins. So it's a mixer. Most no-KYC exchanges neither allow BTC->BTC "trades" nor advertise their service as improving the privacy of your coins somehow, whereas a mixer would have to do both of those things.

Second: If somebody posted on the Currency Exchange board and offered to trade your stolen coins for clean coins minus a fee, or linked to a website meant to effect such trades, that would definitely be disallowed due to the prohibition on illegal trades, even before the mixer ban. The service in question here does not use the phrase "stolen coins": they say "dirty coins", which is definitely different and could include some legally-sourced coins. But when I look at all of their marketing materials holistically, it all feels too close to the stolen-coins-trader example. "Make your dirty coins clean" is not something that typical no-KYC exchanges advertise.