ParentFull threadup2isomorphism·Your explanation makes the removal very reasonable. Also pointing out to a version after this is done surely does not help.View on HN