<!here> Between elections and travel, it sounds like a big chunk of the US folks are unavailable today. So we are taking the unusual step of canceling office hours this week. See you all November 22nd!
I agree, they can't take the place of the minutes. Of course Google generates them as a Google Doc, so exporting to Markdown would also not be trivial. Or it would be, if I had the permission to install add-ons to my GSuite account