This file is not copyrighted, and may be used freely for any purpose without
asking permission.
