Is this going to be published somewhere other than on this list, which recently became a non-public list?

Yes, it forms part of the minutes of our board meeting this evening, which are normally published on our wiki shortly after the meeting.

Regards,

Chris