Thanks rern. Following your step-by-step instructions seems to have fixed it. I can now play BBC 320k streams and I really appreciate your work on this.
The only problem I had was that subsequently accessing the Addons menu wiped out the browser interface, but reinstalling Addons got it back.