updated link to devot-ee, rather than github issues/docs link
Merge branch 'release/0.9.3'