В RSS увидел. А с какого ресурса не вспомню. Но саму новость читал на хабре, да.
Самое смешное, что дистрибутив Fedora для Raspberry Pi так и называется теперь официально: "Pidora".