maybe

• pattern quantifier
• new in 1.81
• indicates an optional pattern element — maybe a digit, maybe some digits, maybe one or more digits, etc.