Glaube nicht, dass eine 8 Jahre alte Starterbatterie schon eine Gel Batterie war. Gel als Starter ist nach wie vor eher selten.

Denke eher an eine Standard mit Säure gefüllte Batterie und eventuell Zentralentgasung mittels Blockdeckel. Da gab es früher einen Entlüftungsschlauch, den man gerne mal beim Einbau der Batterie in schlecht zugänglichen Bereichen unter der Batterie selbst eingeklemmt hat. Oder halt sonstwie geknickt. Das führt dann zu einem gewaltigen Überdruck, der die Batterie platzen lässt.
Such mal, ob Du noch Spuren von einem Schlauch entdeckst!

Du hast "geplatzt" nicht "explodiert" geschrieben.
Explodieren eher bei einem Kurzschluss, das ist dann echt heftig.

Ein "kochende" Batterie durch Überladung geht so eigentlich nicht hoch, die Säure verdampft und entweicht entweder durch die alten Deckel (die haben kleine Löcher) oder eben durch die Zentralentgasung, wenn sie funktioniert!

Überprüfen des Ladegerätes schadet nichts!