Link to previous coq workshops are broken

[CohenCyril]

E.g. https://rocq-prover.org/coq-workshop/2016
This causes a dead link on referring pages such as https://itp2016.inria.fr/workshops/#coq
Where can we recover the data to put it back online ?
@Zimmi48

[Zimmi48]

Here: https://github.com/rocq-prover/coq.github.io/tree/master/pages/coq-workshop