Can we please kill the hyphenator already?

[Wyatt]

On Tuesday, 1 October 2013 at 11:58:35 UTC, w0rp wrote:
>
> PHP-style documentation in general I look forward to, but I 
> won't push for that. I know Andrei is a busy guy.
>
> PHP, the bad language with good documentation.

PHP?  The language that has a comment peanut gallery on every 
page?  Oh god, no. Please don't tell me people actually want that.