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.