Re: [math-fun] Locally isometric polyhedral embedding of flat torus