RE: OT: IBM to buy RedHat