Oh - something I should probably have mentioned before is that I have 
two Bluetooth controllers on this machine - an internal one (hci0) which 
I don't expect to work on Guix because it needs proprietary firmware, 
and the USB dongle (hci1) that I'm trying to use.