Update tools/edify_defs/jewel