Hi all After quite a long time away, I finally got back to the Pi, this time a Pi 3 with a Sandisk SD card that was fast enough not to limit the performance. And - while getting curious, a thing from the long past shows up. I loaded up RiscOS on the Raspberry Pi 3, and I was blown away by the perfor...