Copyright for gtkhtml3.8 source package in Disco