6 ms·I think SRE is a bit nicer than TXR's regex format, but it's the same idea.by qwertyuiop924 10y agoI think SRE is a bit nicer than TXR's regex format, but it's the same idea.