Proposal to suppress the generic name "Polytomurus" Hawle and Corda, 1847, and to place the generic name "Dionide" Barrande, 1847 (class Trilobita) on the "official list of generic names in zoology"