Gawk 5.4.0 is released, with replaced MinRX matcher

The MinRX regex matcher appears to be new for this release, replacing the older regex matchers. The title seems a bit misleading, in that regard.

Why not pcre which has more features, better performance and is battle tested, compared to that minimal new matcher without any proper locale info? They must really love those experiments.