Jumping to sections in TPIL4

Stream: general

[Kevin Buzzard]

This link https://leanprover.github.io/theorem_proving_in_lean/tactics.html#using-the-simplifier [warning: Lean 3] jumps to a section (about the simplifier) in Chapter 5 of TPIL.

The corresponding Lean 4 link https://leanprover.github.io/theorem_proving_in_lean4/tactics.html#using-the-simplifier jumps me to the beginning of the chapter, rather than the beginning of the section. I tried on both Chrome and Firefox (edit: on Ubuntu) but in both cases it doesn't seem to work. Is there any way I can jump to the section like in Lean 3?

[Marcus Rossel]

It jumps to the correct section for both links for me in Safari on iOS.

[Michael Stoll]

Clicking on the link in Kevin's message brings me to the beginning of the chapter (in Firefox) and highlights the section heading "Using the simplifier" (by putting a ">" in front of it and surrounding it by a blue frame); then clicking into the address bar and then enter jumps to the section. Strange.

[Kevin Buzzard]

On mobile now and I still experience the same issue

[Jason Rute]

Marcus Rossel said:

It jumps to the correct section for both links for me in Safari on iOS.

No for me with the second link. Also, Safari on iOS.