IRS Technology Chief Resigns [CNN]