Proposing taxon swap from P. cyaneus to P. minutus per WoRMS current taxonomy. All comments from crab experts welcome as I'm certainly not up on the latest literature. Exact same situation as P. major, where both names have now been synonymised.
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.
Have discussed this issue with Shane Ahyong (Australian Museum crustacean curator) and he confirmed the change.