> BTW there's something wrong with that check, it says zsh doesn't have > a manual page, but it has. That's because zsh.1 is currently managed by alternatives.