Did you know that the name Pachylemur , now used for a type of extinct giant lemur , was first used as group name of primitive primates once considered intermediate between pachyderms and lemurs ?