A public-domain English dictionary on github