Update setup_edet.md