gwern comments on The military value of shortening copyright