Comment by rsc

Hi! Was there any discussion on any mailing lists ahead of time, or was your PR the first public mention of that idea? Thanks.