The bulk update request #9929 is pending approval.
create alias pachyderm (120) -> mammal (3441980)
create alias pachydermata (0) -> mammal (3441980)
Reason: Pachydermata is an obsolete taxon that grouped elephants, rhinos, hippos, and tapirs together, none of which are actually closely related to one another https://en.wikipedia.org/wiki/Pachydermata.
This tag doesn't really fit into our species system, so I think invalidating it aliasing it away to mammal makes sense.
Updated