My bad, Bill. That one has been around for quite a while, as it turns out - thanks for finding it!I've updated xul/server/circ/util.js accordingly.
Thank you. And thanks for the note on what cured it. I poked around for a bit but couldn't track anything down.