Dear -boot and -cd teams, could you please comment on the request of demoting library priorities from required and important to optional? Thanks, Luca