Not exactly Tesla news, but Tesla-adjacent. Do people think this is a good place for Boring Company news, or should a separate community be created?