Commit 12ae57d9929e36201fb1007721a7f8b50c7aa585

Werner Lemberg 2017-09-26T12:53:41

Copyright notices, formatting, whitespace, minor doc fixes.