Percival P. Cassidy wrote:

But are you saying that the "Automatic - Deep Cycle" setting on an
"ordinary" battery charger (it's one I bought originally for the car
batteries, but the "Deep Cycle" setting seemed like a bonus) is not a
reliable way of keeping the batery in good shape?

Perce

Aside from attempting to rescue his battery, the OP has got
to fix or replace that charger
^^^^

We already have strong evidence that the charger you used
cooked the electrolyte. I made no reference to the "universe"
of ordinary chargers - I was thinking specifically of yours.
But you raise a good point, expanding the question - and others
have answered.

Whatever charger you use, you need to verify that it is
doing the job properly. Consider building an add-on
monitoring/control circuit. Perhaps a comparator with
a sonalert to notify you that something is wrong with
automatic charger shut-off when the voltage exceeds
some level. I built a comparator into an ordinary
10 amp charger to turn it on and off automatically.
A 339 works fine - 4 comparators in one chip, so you
can have a voltage too low output turn the thing on,
and a voltage too high turn it off. Still have two
comparators left over to use as you like. Add a couple
more 339 chips and you could add a 10 step led
voltage monitor, for example.

Ed