:
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