We finally have a Speaker of the House. Woo. Rep. Mike Johnson (R-LA) will be an unmitigated disaster and a likely topic of future blog posts. For the moment, though, I’m simply exhausted with all of the House drama and needed to switch my focus towards some state-level elections. Even in this off year, there…