Notes about private sessions
Last month, we agreed on email to introduce a habit of reserving the final 15 minutes of board meetings for a private session, for Board members only. This MR codifies this decision (though does not mandate this new habit), and also states that we keep minutes of private sessions (as we have also agreed to do).
I do not see this as a policy change, just some institutional memory. Accordingly, I do not see a need for a formal vote. This post is merely for review, and I will merge after an Approval or two.