On Jun 30, 2014, at 11:31 AM, Reid Kleckner <rnk at google.com> wrote: > This is really a question for John, but I have a feeling that he'll be happy to see this code go. Yes, killing the hack is long-overdue. John.