On 2021-06-20 11:27, Philip Hazel wrote: > A little bit further up from what you quoted, the docs say this: "The two
> "extended" options are not independent; unsetting either
> one cancels the effects of both of them." So (?-x) and (?-xx) are the
> same, and unset both (?x) and (?xx).
>