Christopher Taylor wrote:
Ideally, a replacement name should be coined as part of a review of the genus in question. Note that _Diceratops_ only requires a replacement name if it is regarded as a valid genus (no point in coining a new name if it's never going to be used), which in this case is a whole different cauldron of mullet.
Cheers
Tim