What ❔ Why ❔ Checklist PR title corresponds to the body of PR (we generate changelog entries from PRs). Tests for the changes have been added / updated. Documentation comments have been added / updated. Code has been formatted via zk fmt and zk lint.