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
