Having found it so easy to put 64bit Raspberry Pi OS onto an SSD drive, and then discovering that Raspberry Pi 4 is more nippy running from an SSD card (as everyone said it would be), the next step ...