I realize that this file is as it is in the upstream repo; however, would it be worthwhile to add something in the header to indicate where it came from (e.g. source github repo)?  It might be useful for historical purposes and for locating updates to it.