For now just tracking, let's wait for https://github.com/lake-wg/edhoc/pull/455 to be merged and approved in the consensus call.