Links for coqpackages-quickchick