[mgaunard]

What about hyphenization?

[simonw]

That's in there too: https://github.com/chenglou/pretext/blob/53a065b8a345fc29831...