You don't know anything about the Irish music scene in the UK

That's just silly. You can't do any kind of trad without interacting with the Irish scene.

Ireland doesn't have "music buffs", they have musicians who play traditional music
You were the one who introduced the label.

Yes, the phrases are synonymous.

There have been books of Irish polkas in the past
Please list them [ plural ].

The one I have is the Fiddlecase one (mostly but not exclusively Irish) which supplied all I'd ever need 40 years ago. I have seen others since but wasn't in the market for one. Maybe the Roche collection has some? - I can't find mine right now, if I wanted to look one up on paper I'd use Breathnach's "Ceol Rince na hEireann".

Would anybody in an Irish session these days point a newcomer to one as a standard reference?
No. They don't need to.

Which is the point I was making. Why be so fucking confrontational about agreeing with me, whoever the fuck you are?