"
My impression is that we should first give the formal name (as the relevant article is titled), and include the nickname in brackets following, to enable the reader's experience. The nickname will normally be a redirect to the proper name anyway, so nothing is lost, and a little gained, by doing this. andemu "