I just replaced my bulging battery, and she coughed straight back into life.
However, checking the voltage across the terminals while idling at around 1000rpm, it was around 15V, jumping to 17V if I increased the revs.
So the R/R is cooked, I think?
Looking at options in the UK...