The official summary / minutes of the October 24, 2019 board meeting is up, for your reading enjoyment: Cheers!