On Mon, Feb 10, 2020 at 4:09 PM Stuart Marks <stuart.marks at oracle.com> wrote: > > Should I proceed with pushing my comments changes (which I've appended > below for > convenience)? > You already have my approval!