Infra: remove two of the five instances of title at top of pages

[hugovk]

We currently have the PEP title shown four times at the top of each page:

https://peps.python.org/8

• Waste less vertical space at top of rendered PEP #2514 (comment) will remove the one from the table
• the main title should stay
• the one at the top line is questionable, should that go?
• but the one on the left the top of the contents is unnecessary

This PR removes the contents title on the left:

[AA-Turner]

The idea behind the contents title on the left was as it is sticky -- so the title is always visible. Perhaps that is a bad rationale, but that was why I added it!

A

[hugovk]

Ah right, I see. Yes, I think it could still be removed.

And I didn't mention the fifth place: the tab title :)

[CAM-Gerlach]

Agreed; I'd been just thinking the same. Being stickied is the one benefit, yes, but its still :stickied" in the tab title and not that important to have visible all the time that we need so many copies floating around, and it doesn't help on narrow widths/mobile.

As a corollary, I might suggest eliding the full title from the breadcrumbs and just leaving the PEP number, which is much shorter while still getting the same point across, and avoiding one or possibly two extra lines on narrow widths/mobile.

Unless we could just sticky the breadcrumbs bar, which would be reasonably handy for information and navigation purposes and justify keeping it there, but that's not entirely trivial.

[hugovk]

As a corollary, I might suggest eliding the full title from the breadcrumbs and just leaving the PEP number, which is much shorter while still getting the same point across, and avoiding one or possibly two extra lines on narrow widths/mobile.

Had thought the same :) I've pushed a commit to remove this too.

[CAM-Gerlach]

As I've generally seen it recommended to include the current page in the breadcrumbs, and its particularly odd that it looks like its implied that the current page is the "PEP Index", what I'm suggesting is eliding the title but still including the PEP number, i.e. something like {{ title.split("-")[0].strip() }} in the template, so its Python > PEP Index > PEP NNN. That still fits on one line in the narrowest mobile browsers and doesn't repeat the title, but still makes clear what the current page is.

[hugovk]

Got it, updated!

[CAM-Gerlach]

LGTM again; thanks @hugovk !