... on upgrading to the new 64-bit Raspberry Pi OS.
Instead of ordering and waiting for a 256 Gb micro SD card, I used a 64Gb USB drive. After various problems with things like:
- Making it bootable (e.g. contra several tutorials, I was NOT able to just set a boot order so it's one or the other -- if the SD card is in there, that's what it boots from);
- Getting my preferred text editor, Caret, to work (when I installed it as a Vivaldi app, it couldn't load or save files; I installed it as a Chromium app, problem solved);