Code

completion: work around zsh option propagation bug