It seems to be a direct mention of (in essence amongst other things) a mixing service therefore is not allowed. Open their website and you see the following in large fonts: Bitcoin Mixer: Anonymize your Bitcoins with a High Profile, Secure, Private, & CoinJoin-powered Bitcoin Mixer

No matter how you try to look at this, the reality is it seems to be pushing the boundaries to circumvent they system and it allows for all banned mixers to do the same because a precedent exists.

I guess theymos will have to post about it.