note blakem <blockquote> <i>a regular expression that, say, matched all valid IP addresses</i> </blockquote> I know it wasn't really your point, but this node warns against even trying that: [id://221512] <P> -Blake 239597 240542