Oh, that’s fair. I just vaguely assumed they were called bat flies because someone once upon a time thought they looked kinda like the fly version of some sorts of bats, but obviously didn’t bother looking into that.