While there, clean up the copyright headers into a consistent and
readable style.  Claims that we `strip' copyrights are funny.  :)