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
’s could ensure that corrections happen more reliably.
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