Sorry greg, you asked an honest question because there were contradictory statements from a pretty reliable source and you ran into the know-it-all dirt bag group who was never new to hiking and never had things to learn. They were born with all the knowledge they needed to hike. These are the people you avoid on the trail.
I have been out with guides, as a kid, who have suggested doing the same thing whether being in a shelter or a tent. Running into lightning in a shelter is not as common as running into lightning mid-afternoon when you are still hiking and away from any shelters. Especially when the trail is following the spine of a ridge. If you are in a shelter and lightning is extremely close I would advise getting to the back of the shelter and stay away from metal objects. You should be fine.
Now I will wait for my torching from the WB know-it-all group