wires/coqdocproc archive