What is "nematoctonus"

Nematoctonus (the name of which means 'nematode murderer') was a genus of fungi in the Pleurotaceae family, which is now considered a synonym of Hohenbuehelia. Originally the generic name —an anamorphic form of Hohenbuehelia—has a widespread distribution and contains 16 species. Under the one fungus - one name convention, the correct name for the group is Hohenbuehelia and species where the fruitbodies have not been discovered or that are older names for those described as fruitbodies have all been transferred to Hohenbuehelia.