crowdsourced production system for Eliezer Ben-Yehuda's great Hebrew dictionary