[In the news] $25-Raspberry Pi school computer to run cut-down Fedora