Thanks for the suggestion.
Was that family split from Mycetophilidae?
A lot of the web resources leave Keroplatus there.
I see that the genus occurs in this area with a few species but could find no images to compare with.
I do not think this is Keroplatus, as that genus has generally much more broadened antennal segments. I cannot see enough details to put a genus name on, though.