> It’s Harcourt Fenton “Harry” Mudd, actually. <
It just hit me why I typed “Harvey Mudd” in my post #13. There’s a Harvey Mudd college, and that name stuck in my mind.
I wonder if Harry Mudd went to Harvey Mudd.
