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