Author here. > Probably some of the matching logic that could have been part of the FST is pushed into the normalizer instead. Yep, exactly -- there's a great

Author here. > Probably some of the matching logic that could have been part of the FST is pushed into the normalizer instead. Yep, exactly -- there's a great deal of prenormalization that in principle could be pushed into automata run over the FST instead. The reason I didn't do that is laziness, but it's the obvious next step :-)