I'm happy to believe the author's account, but I'm curious how widespread this might be. I'd also like to know if this actually came from some group associated with DeSantis, as opposed to a fan who can glue together APIs or another campaign trying to generate bad publicity for a rival.