Copyright for spice source package in Disco