Handle the fact that re.escape escapes _ in a better way
Handle the fact that re.escape escapes _ in a better way

The old way escaped the pattern that we replaced tmp names with

JasonGross/coq-tools,JasonGross/coq-tools