fixup! Add “priority” property to task, to take into account in scheduler.get_work