Thanks, I looked at that, got derailed by finding and fixing a bug with NUL bytes that turned out to be a pre-existing bug, and finally installed it just now, with a slightly-reworded commit message. I also installed the attached minor-improvement patch as well (some of it cleans up preexisting code in the neighborhood).