On Mon, 2017-09-25 at 23:11 -0400, Yuri Astrakhan wrote: > Fixing them by hand seems like a huge waste of the > community time I agree. This is purely mechanical work. Drudgery is evil. I'm willing to try writing a script once I finish my other scripting projects. This should be straightforward.