Links are in downcase
Add a Coq package article finished