Nothing against Linux, but have you ever tried RiscOS on something objectively slow like an Raspberry Pi 3? It feels just freakishly fast and responsive…

And it is designed as an dedicated desktop OS, it’s not something that in it’s core still thinks that it is running on a PDP11 and talking to teletypes ;-)