This stuff is public domain, do whatever you want.
