P. floridana is not actually fully synonymized, so it can be reactivated/readded, but I figured it's not worth doing a ton of atlasing when there's no verifiable P. floridana observations on iNat yet. For all of the ones that currently exist, they should be P. bilimeki or raised to species group/genus. P. floridana as a taxon itself is also relatively unstable and might end up being fully synonymized in the future.
Sarnat, E. M.; Fischer, G.; Guénard, B.; Economo, E. P. 2015. Introduced Pheidole of the world: taxonomy, biology and distribution. ZooKeys 543:1-109. 10.3897/zookeys.543.6050 (Σύνδεσμος)
Unintended disagreements occur when a parent (B) is
thinned by swapping a child (E) to another part of the
taxonomic tree, resulting in existing IDs of the parent being interpreted
as disagreements with existing IDs of the swapped child.
Identification
ID 2 of taxon E will be an unintended disagreement with ID 1 of taxon B after the taxon swap
If thinning a parent results in more than 10 unintended disagreements, you
should split the parent after swapping the child to replace existing IDs
of the parent (B) with IDs that don't disagree.