Copyright for spice-protocol source package in Disco