docs links from blueprint not working?

Stream: FLT

[Kevin Buzzard]

If I go to e.g. here and then click on the L∃∀N link I get a pop-up saying FLT.Wiles_Taylor_Wiles and if I click on the link I get a 404. I had assumed that the doc-gen CI issues were the cause of this but apparently not. Anyone have any ideas what's going on?

[Pietro Monticone]

I've cleaned up the cache and re-run the workflow in the bump PR FLT#369. Let's see if it fixes the problem as a consequence.

[Kevin Buzzard]

I've left two questions.

[Pietro Monticone]

Yep, now it works

[Kevin Buzzard]

Thanks so much!