Updated patch including doc edit will be sent to zsh-workers.  Here's
a copy of the edited file.