charon.rdn_matching mentions _static_ instead of _strict
The description mentions
Note that reordered and relaxed impose a considerable overhead on memory
usage and runtime, in particular, for mismatches, compared to static.
That is probably supposed to be strict.