Dublin Timezone code displays as BST during summertime

I'm using react-timezone-select, and it displays the timezone code for Dublin as BST during summertime.

However, the JavaScript getLocaleString function displays it as GMT+1:

(London displays as BST and Lisbon displays as WEST).

The thing is, Irish people do not like being referred to as British, so British Summer Time is not liked as a term here. Informally we tend to use IST for Irish Summer Time (which unfortunately clashes with Indian Standard Time). Officially Ireland uses GMT in wintertime, and IST (Irish Standard Time) in summer. This clashes with Indian Standard Time, but apparently timezone codes are not unique. Personally I think we should adopt WEST like Lisbon.

I believe the source of the problem is in the data/Europe.js file, which under "Europe/Dublin" has "meta": "British". See above about Irish people not liking being called British.