Dependency graph links to Lean broken

[DavidMichaelRoberts]

If I go to https://imperialcollegelondon.github.io/FLT/blueprint/dep_graph_chapter_2.html and click on FermatLastTheorem.of_odd_primes and try to look at the Lean source link in the Lemma box I get this: https://imperialcollegelondon.github.io/FLT/docs/404.html#FermatLastTheorem.of_odd_primes. And in fact it's true for anything I try on that page. I also checked on the chapter 3 graph, with the same problem

[Ruben-VandeVelde]

Works for me, fwiw

[DavidMichaelRoberts]

OK, it works for me now, too.