I was right that the storms happened late enough on Tuesday evening that they didn’t make it into the local paper. This morning’s paper reported funnel clouds, hail, and wind storms all over the area, but there doesn’t seem to have been any injuries or major property damage. As I learned in this comment thread, my photo yesterday was of clouds known as “mammatus.” In my explorations of the topic, I found Kitty’s Tornado Terminology, a good glossary of terms related to violent storms.