This long-outstanding task is still waiting to be done. I worked through all the documents except the Varin, and was able to automate some of it by using regexes. There are some situations in which a <ref>
and a correction coincide, where the consequences for rendering would be difficult to figure out, so in those cases I've left a note in place for the moment.