Taxonomic name: Manota phillochaeta (Classification)Distribution after: New data on the genus Manota Williston (Diptera: Mycetophilidae) from Africa, with an updated key to the species