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.
Update 2025-07-08 (PST) (AI summary of creator comment): The creator has clarified the difference between a description and a nickname.
A simple derogatory phrase (e.g., calling someone a "train wreck") is considered a description and will not count.
To be considered a nickname, a term must be used as a name (e.g., "Train Wreck Musk") and be used on at least two separate occasions in a semi-consistent way.