>
> Shouldn't docs of ERR_EXIT explicitly mention that «! true» does not
> cause an exit?


Arguably there is much more that is missing. Zsh's ERR_EXIT
<https://zsh.sourceforge.io/Doc/Release/Options.html#index-ERREXIT>
specification
<https://zsh.sourceforge.io/Doc/Release/Options.html#index-ERREXIT> doesn't
even state that ERR_EXIT is disabled in the condition of if/while/etc. Zsh
intends to be compatible with POSIX' "set -e" specification
<https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#set>.
That specification is quite a bit longer. Should Zsh's specification
repeat all of that? Or should it link to it?

Philippe