Hours before DeSantis' action, the Florida Supreme Court denied William Lee Thompson's motion for a stay.