> \hyphenationmin > (the minimal total number of letter for a word to be hyphenated, a new > primitive)
I’m aware of that, and I really can’t understand why it wasn’t called
\totalhyphenmin (or something similar with a prefix) ...
Best,
Arthur
