https://en.wiktionary.org/wiki/devel but I would agree it's probably not common enough to be included in the word list, I'll remove it soon :)