I wonder what you all feel is the best way to handle this? Should we progressively add more tools to dilute the endorsement of a specific one? (I acknowledge the irony of saying we when I haven't made a PR in forever)