You want to distribute them??
Don't think they will allow it, because these themes aren't released under gnu/gpl and the already have a hard job by convincing the original theme authors for letting them convert the themes.

If you don't get an answer try PMing mikem, he will answer you but I don't now if that answer will please you. Maybe it does, otherwise it doesn't