Copyright for coq-doc source package in Hirsute