Fixup introduction of coqworkmgr