2008/11/27 David Gerard dgerard@gmail.com:
2008/11/27 Michael Everson everson@evertype.com:
We haven't proposed that. We proposed "Ireland (state)".
That has a slight smell of neologism - is the term used anywhere outside Wikipedia?
Eh? It's a disambiguation note, not a name. (though I'd prefer "country")
We don't require that [[John Smith (politician)]] be called explicitly "John Smith (politician)" on anyone else's paperwork - just that he be a politician and called John Smith...