updated link to devot-ee, rather than github issues/docs link