OK. In any case, that doesn't work, because of the mentioned difficulty with creating an automatic script that doesn't damage the text sometimes (it's generally irresponsible to edit a public archive without manually testing the results when probability of damage is nontrivial), though a script that alerts about the presence of <div>'s could ensure that corrections happen more reliably.