Can we please kill the hyphenator already?

[Andrej Mitrovic]

On 10/1/13, Andrei Alexandrescu <SeeWebsiteForEmail at erdani.org> wrote:
> On 10/1/13 4:58 AM, w0rp wrote:
>> +1 for hyphenator death. I either block it or hit "Stop script" on
>> Firefox. Kill it with fire!
>
> Hyphenation rox.

Yeah, but >hyphenator.js< sox! :p

I still see hyphenation in action on the website, although there's no
sign of hyphenator.js activating itself. So I guess some HTML5
technique is used now?