I cannot believe how simple it is now to get a Raspberry Pi 4 running from an SSD rather than from an SD Card. I have written what to do here, because the web seems devoid of a simple list of ...