Copyright for pragha source package in Disco