As planned! Also bump trusted-git-root to 88a7294, which is the last merge signed with this key. EDIT: I didn’t plan to write a "statement&q...