Eligius pool

Created by Luke Dashjr.

The pool is named after Saint Eligius, patron of miners^[ref]

Eligius also means to "choose" or "chosen" in Latin: en.wiktionary.org/wiki/Eligius, same root as "to elect" in modern English presumably.