Can we please kill the hyphenator already?

[Martin Nowak]

On 09/30/2013 12:29 AM, Dicebot wrote:
> On Sunday, 29 September 2013 at 22:25:03 UTC, H. S. Teoh wrote:
>> Wait, didn't somebody already merge the pull to kill off the hyphenator?
>> Did it get re-introduced unilaterally without discussion?
>>
>> T
>
> Did web-site actually get updated since that pull?

Yes, but the druntime docs weren't regenerated.
Phobos works fine now.