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