Is anyone aware of an independent source for this claim? I'm not finding anything using search. I'm happy to believe the author's account, but I'm curious how

Is anyone aware of an independent source for this claim? I'm not finding anything using search. 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.