@tbernard Eleven years after its initial release, gnome shell finally seems to have found its way onto the devices it was designed for.