Devon Desktop在6月改名并替换了旧agent，但不少老用户未注意到此变更。