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?