Given there was no response to this thread, I'm going to proceed under

that plan.  We'll next meet on Thursday May 13 at 1800 UTC, so Mateo
can attend.