As usually happens when we near some deadline for releasables, I’ve been wielding a heavy axe in Docs CVS. I get very antsy about the state of our build tools for some reason, and start making what I hope are improvements. Made one fairly glaring mistake about dealing with XML …