@sambiology How do we pull the trigger on this?

I'll take the risk. This is a ridiculous situation that should have been sorted out five years ago. It is clear that whatever else may be the case taxonomically, these two names are unambiguously referring to the same species.