Six months on, batteries that were powering the radio were finally getting a bit weedy. So I got round to running the whole thing from a 12V power brick, rather than the batteries-plus-5V-phone-charger-for-the-Pi combination used until now.
Documentation to come soon!