I guess this is just Ron DeSantis’s Florida these days.