Copyright for tetrinet source package in Mantic