* doc/contrib.texi (Contributors): Add Ira Rosen.