The script was migrated as is from Release-Specs but could benefit from
adaptation as it is run from RIOT.