Editor’s note (November 6th 2024): This article has been updated.