Nod. I'm glad it worked out. I just asked Pygment to make time to deal with a particular bit of cruft because it was interfering with my normal coming-home routine. I suppose I should have done it myself (under the household "If it's bugging you, do something about it" rule) but I think this works. And, yeah, I'm all for sanity-preservation. No need to bring out Stabby McStabpants.