Worth noting Texas is having one of its quietest tornado years in the ~20 years of comparable data, at the same time. Which is the problem: the reliable detection era is about 30 years, and the preliminary dataset behind these headlines starts in 2004. The IPCC has low confidence in observed trends in severe convective storms for exactly this reason. And your El Niño point argues against you, since El Niño is associated with suppressed spring tornado activity in the southern Plains, which is what we're seeing in Texas.