I just discovered that the folk at Raspberry Pi have sorted the issue that prevented easy switching between, for example, Bluetooth headphones and a Bluetooth speaker from the audio menu – a ...