Broken link in docs

[antoinewdg]

Here, at the end of the first paragraph.
Opening this so that I don't forget to fix it.

[Luthaf]

The generation of anchors is now done at compile-time by mdbook, so we could have another script to run on CI checking that all links are defined in the doc.