See [discussion here](https://github.com/openwsn-berkeley/edhoc-rs/pull/117#discussion_r1381766018).
See discussion here.