What to do with Public Domain code?

[Benson Margulies]

I'm faced with the following in some JavaScript.

// This code was written by Tyler Akins and has been placed in the
// public domain.  It would be nice if you left this header intact.