This file has been put into the public domain.
You can do whatever you want with this file.