Based off a tweet I once saw and could not find the original post to.
But... did Empok Nor ever have any other name? I mean sure, calling DS9 "Terok Nor" would be a red flag, but Empok Nor is just Empok Nor.
And to add to this, the cardassians did nothing wrong
To think of all the mercy that Gul Dukat showed, and yet to this day is there even one statue of him on Bajor?
The joke is that if he mistakes DS9 (the more popular one) for Empok Nor, he's most likely a follower of the cult of the Pah-Wraiths. They used the same production model so its kinda hard to distinguish between them.