Are there any options to include eircodes in CoMaps or Open Street Maps?

Or is there a way for users to download and add them into it themselves?

In Ireland Eircodes are relatively new, being launched around 10 years ago, but only very recently many people, mainly businesses - only give out an eircode as I found out on a recent trip. When I entered the eircode into CoMaps it can't find anything, no option for 'route to' etc.

So what I have had to do at least three times while I was over there (only for two days) was look up g~~00~~gle maps online, and then copy the coordinates into CoMaps. I found that the easiest/fastest way, but I can only imagine if I had been there for longer - which I will be soon, - I would have a never ending pain in my neck having to do that every single time.

TIA.

EDIT - Would this be any good? https://github.com/hmleal/irish-eircode-dataset (I don't think there is anything there).