Update Mission: convention.scrbl: Change d-ark into digivice