On Fri, Aug 18, 2017 at 10:58:13PM +0300, Evgeny Kotkov wrote: > With all that in mind, I propose that we do (2). Any objections?
I want (2) as well. Thanks for doing this work, and for very clearly and transparently describing the tradeoffs and our options.