> I didn't touch the irix5 port, I merely suggested it as a candidate > for removal. Do you have an off-the-top-of-your-head estimate of how bitrotten it is, and how much work would bring it back?