President Donald Trump became notorious for concocting nicknames for political opponents of him during the 2016 presidential campaign. During the Republican primaries, he gave no quarter to the likes of “Little” Marco Rubio and “Lyin’” Ted Cruz (even though they’re Trump cronies now that they’re no longer running against him for anything), and Trump’s use…