What are hole-punch clouds, aka fallstreak holes?

How are what are Hole Punch Clouds formed? What are Hole Punch Clouds?

ITAP Sunset after tornado - Claremore Ok

Holes appear in B.C. skies in 'fallstreak' phenomenon

We were excited to spot a line of fallstreak holes (AKA: hole

Texas Tornado Throws 18-Wheelers Like Rag Dolls

Holes in the sky; What's behind hole punch cloud formations

What was that hole in the clouds?

Mamma (or mammatus) are the clouds at the base of storm clouds

Fallstreak hole: Unusual 'holepunch' cloud captured in East Midlands

Mike McCall on X: WEATHER NERD ALERT! 1/10/24 The @FSUWeatherSTEM

Why are there holes in those clouds?