Removing obsolete manual copy commands from release scripts, since we copy the manual in now periodically by hand.