[in the news] Fedora 12 debuts after Halloween slippage