commit 55c2d100183b4397d83d0ec2370b7aa30d343ca3 Author: Luca Weidlich Date: Mon Jul 20 15:03:25 2026 +0000 Update on Overleaf.