This is basically to track the review I left in https://github.com/0xMiden/node/pull/1832#pullrequestreview-4027288007.