Copyright notice simplified.  No more "see the manual", and no more
reference to the home page. #3977