They are more than likely an.io registrar. I don't know for sure that the others you mentioned are, but for catching .io names, park io seem to have that market covered.
I'm actually quite surprised there doesn't seem to be more fierce competition, being how cheap it is to become an .io registrar. Pay $450 or buy 10 .io names... That seems to be the requirement.