On Tue, 27 Aug 2019, Thierry Carrez wrote:

> Thoughts?

Good idea, but I'd argue that 11 is still too many. 7 or 5 might be
a better target. Getting there might be complicated but I think it
would be useful by providing an opportunity to winnow the focus of
the TC to what matters (whatever we might decide that is).