You probably meant to go to the IFTheory Mailing List