yay you did the undecitangulation (11-tangulation)
Shortest-proof-game challenge

NirKrish/NirbhKrish reported knowing the shortest game when posting #681, but didn't comment on my proof game at #759. It would be nice to know if my count of 16 moves agrees with the known shortest game. I hope NirbhKrish will respond.

#759
Half a move shorter:
But it will take you more moves to get rid of that extra pawn you left at h7.

just have black go h6 before bxh6
then it will lose a ply
thus this isnt shorter!
That actually loses two plies, since the white king has to make an extra move at the end before playing Kxd1.
#794
Shorter: