zsh: add extension alias for doc