What is TXR? Was this implementation really "industrial"? Did it have the caching present in RE# to avoid worst case exponential compile times? Did it support U

What is TXR? Was this implementation really "industrial"? Did it have the caching present in RE# to avoid worst case exponential compile times? Did it support Unicode? Did it have prefilters? What kind of match semantics did it support? "industrial" in this context to me means something like, "suitable for production usage in a broad number of scenarios." IDK if RE# lives up to that, but their benchmark results are impressive. This paper is a year old. In which production systems is RE# used?