Having made the choice to go for a 64-bit build of Raspberry Pi OS, I find out that getting some software is more difficult than others.