Jean-Marie Madiot

I added some instructions in the README (in particular do not edit the html but the `statements.yml` file instead). I'm not sure I understand the situation exactly, but if the...

Thank you @Zimmi48, indeed, I get fewer 404s. Now, all the pages concerned with this issue are generated by [the repository coq/doc](https://github.com/coq/doc), however they hardcorded the path `https://coq.inria.fr/sites/all/themes/coq/style.css` in the...

Perfect, thanks! (and thanks for the note about the doc repo) Maybe one fix about the lack of synchronisation is to replace `sites/all/themes` with `styles` in three files in [this...

Note that the content is messier than Lean's list, since there is some formatted html (text with several links per entry), and the statement itself, which may require other escape...

f3f9cd17a03894031dd908f9131afdc4b797c5cb should solve this issue with a few yaml files, although the main one is still big. I guess removing index.html from the repo would be best since it is...