In v7.1.2, `Hash` was derived for `Header`. It seems like that was removed, but there is no mention of it in the changelog.