ParentFull threaddiffeomorphism·No, that was some of the initial speculation, but turned out to be wrong.View on HN