I experimented a little using a Raspberry Pi 4 as a desktop Linux machine (a future blogpost), but it was not to be: it was far too slow to be usable, even if I did manage to make it work correctly Read more