I have come to the same conclusions :)
So to sum up, the OSM tags to be used immediately would be:
name:he and name with no nikud, ever;
name:he-x-nikud with full nikud;
name:he-x-minnikud with only partial/minimal nikud when name:he is ambiguous
Most renderers will by default use the no-nikud variant. Interested renderers may choose to display the other two options when they are available.
(Edit: of course, these can be used wherever language suffixes are used, not just name.)
Give me a 
if you have any objection to this proposal.