@cstross@wandering.shop It is likely slop, yes, but also:

https://en.wikipedia.org/wiki/Rotationplasty

If it were the short leg that is rotated, then I would not be as quick to dismiss it.

So, AI got it almost right.