note10q9f3... Dave Harig @daveharig 1726156387 By “rough consensus” did he mean “approximate consensus” or “hard argued consensus”?
