On the Kirchheim-Magnani counterexample to metric differentiability · wovepaper