They have to be fine, because A) they are completely branded (WPMU used a gray type link that Google probably didn't realize was a variation of their domain name) and B) the sites that use them are incredibly high powered, pass traffic, and are overall quality signals.