**What question should the reference manual answer?** Which simprocs exist? **Additional context** [Zulip thread](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Index.20of.20simprocs.3F/with/543054703)
