Delete trailing whitespace in help/Docfiles
Last minute documentation additions, dealing with facilities for controlling evaluation.