editing simp doc on community website

Stream: general

[Kevin Buzzard]

I wrote mathlib's docs/extras/simp.md when I knew barely anything about simp; it was just some personal notes for myself which somehow ended up in mathlib. Now I understand simp much better and feel like the docs do a very poor job of explaining the "point" of simp -- for example they do not even mention simp normal form (something I probably didn't understand when I wrote the md file). I just went to edit this file but I now find that it's moved to https://leanprover-community.github.io/extras/simp.html . How do I edit it now?

[Markus Himmel]

The file is at https://github.com/leanprover-community/leanprover-community.github.io/blob/newsite/templates/extras/simp.md

[Patrick Massot]

Note for next time : you can find the answer at the very bottom of the page.