> On Nov 25, 2016, at 1:28 AM, Victor Stinner <victor.stinner@gmail.com> wrote:
>
> I would like to completely remove the feature to be able to implement
> further optimizations.
This seems reasonable to me. I've never used or needed this special build; StackOverflow has no mention of it; and a Google search comes up nearly empty. That said, it might be worthwhile to check with Jeremy to get his thoughts before removing his code.
Raymond