On 2024-06-04 17:33, Lawrence Velázquez wrote:
> I was reading 'info zsh history'
> That shows the "History Expansion" section of the manual, which
> does not mention the "history" builtin at all.
>
Ok, at least that's clear.  I should be using 'info zshbuiltins'. 
'History Expansion' ... I'm taking that to be what the history command 
does so ... actually now that I look closely, it's obviously the wrong 
place.  And 'run-help history' goes somewhere else entirely.