The parent probably used ’mayor’ in the general sense. Different types of administrative subdivisions have different names for their political leaders depending on where they are in the world, and nobody could possibly be expected to keep track of them all. Even if they are not called mayors in this exact case you full well knew what the parent meant.

>Consider the possibility that I'm genuinely fed up with dumbass useless people running for local office.

I don't mean to make light of a serious problem, but it's funny how widely that sentiment is echoed.

Compare the quality of people running for low-paid local political office to... basically any other vocation. It's a widely echoed sentiment because it is, more often than not, true.