Fix zsh history; update docs
Fix zsh history