Twitter jokes about DeSantis announcement