I am surprised that we haven't gotten discussion around point 4 ("Theo is an asshole, so is Linus, but Theo is worse"). These seem to be always present when anything related to OpenBSD is discussed. It's disappointing.