Re: [Nsi-wg] Comments on DICE IDC protocol informational document