What is the name for female gremlins (not the movie ones, the mythical one)?

I know that one name was Fifinella, but I think that refers more to the character created by Walt Disney that was adopted by Women Airforce Service Pilots (WASP) as their mascot; I've also think I've heard the term Dingbell used. Could someone tell me if the name for female gremlins (as a whole) is Fifinella, Dingbell, or something else?