How big is the Eircode database? | Hacker News Reader