Add note to the top of the file that this is copied verbatim from wherever.