I've applied workers/54261,54262,54048 from Philippe, and pushed. (No
decision yet on that "null value" comment in zsh.h, I just left it as
it was.) I hope my commit-log summaries were accurate enough.
Have I missed anything along the way? Some of those had several revisions.