I was reading 'info zsh history'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.That shows the "History Expansion" section of the manual, which does not mention the "history" builtin at all.