The first three seem to be sort of special. Both are used at once because how could you really pick a primary? Other fan names get phased out, like Marble Pie and Limestone Pie used to be named Inkie and Blinkie by fans. But for the ones you pointed out, not so much. If anything, one should imply the other.