Credit Where Credit Is Due

[tkremenek (Ted Kremenek)]

@palimondo

Does that mean we’ll update the file preamble to link to the Github for copyright purposes?

Yes, and everywhere else that references that file... assuming we deem that adequate for serving the same purpose that ostensibly the CONTRIBUTORS file serves.