I am not pre-committing to resolving based on that source, but it is very likely that I'd follow it.
I.e. if I need to decide what constitutes a "nickname", I'll look at this list, and decide "do I think it would be included?".
But I probably won't wait for Wikipedia to update, rather I'll rule on whether I think it fits in with the others.
If you can guess the nickname in the comments below (ONE GUESS PER ACCOUNT) before Trump first uses it, I will send you 420 + 69 mana.
Guessing game notes:
For guesses, I will be ~reasonably lenient about spelling/punctuation/etc, but fairly strict about the specific phrasing/words used.
Some people are including multiple guesses in the same comment. That's fine, but I'll only count the first. So you can grab someone's second guess for your own.
Among duplicate guesses, I'll only reward the first submission chronologically.
1,000