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