EdgeX bondit de 18 %, porté par un programme de rachat de 13 millions de dollars