On Thu, Nov 16, 2017 at 12:37:02PM -0800, Todd Kjos wrote:> Sorry about that, do you want a v3 with correct annotations?Nah, this time is fine :)