Comment by up2isomorphism

Your explanation makes the removal very reasonable. Also pointing out to a version after this is done surely does not help.