That's a good point, I suppose even if something shouldn't be classified as a peak it doesn't really hurt to have the elev data still. I'll do that in the future!

On a related note, I often wonder how much "topo" type data belongs in OSM. I've seen some mappers go absolutely crazy adding cliffs everywhere, which (at least on Carto) basically just become visual noise. So I definitely think the line needs to be drawn somewhere.
That being said, again I do agree with you that peaks and surveyed hills are fine and good to have an ele tag.