On Thu, Aug 21, 2014 at 07:23:16PM +0000, Christian Huitema wrote: > [...] Thanks for your categorization of objections thus far! That's very useful, even if were incomplete: if we could list them all that pithily, even when no objections remain, it'd be a useful record. Nico --