On 12/22/25 10:07 PM, Peter Smith wrote:
> Here is a trivial patch to fix that omission.
The patch looks good to me as this seems like useful information and I
do not think it needs to be added in more places since e.g. \d+ does not
have its own entry.
Andreas