That didn't work. Flash is still missing from IE.
Bingo, I did have the add-on switch for Flash set to disabled in IE. I vaguely remember disabling
my add-ons to "speed up loading" at some time in the past. I guess I should have investigated
the consequences before going merrily on my way.