Copyright for gravitywars source package in Disco