OK, now “sources” are saying AOL isn’t buying Red Hat.