That’s what a House Republican told me last week in a conversation about the speaker’s race, and it looks like the GOP has settled on a candidate, in Mike Johnson, who might not have been particularly wanted by anyone, but isn’t particularly opposed by anyone, either.