Just started this repo so I can post this to github.  Added copyright notice and copying permission statement to the file.
Created the github repo before I created the local repo - oops.