Dead links

Stream: general

[Yaël Dillies]

Lol, the "maintained example of good documentation style" doesn't exist anymore: https://leanprover-community.github.io/contribute/doc.html#citing-other-works

[Kevin Buzzard]

Oops! Good catch! data/padics/padic_norm is now number_theory/padics/padic_norm

[Yaël Dillies]

Wanna fix it? I can do it myself if somebody sends me an invite to contribute to the docs.

[Bryan Gin-ge Chen]

You should be able to make a PR to https://github.com/leanprover-community/leanprover-community.github.io/blob/newsite/templates/contribute/doc.md without needing an invite.