Public domain. Do whatever you like.
