Dear -boot and -cd teams, could you please comment on the request of demoting wget priority from important to standard? Thanks, Luca