https://www.courageouschristianfather.com/the-origins-of-the-leprechaun-myth/