v3.12.13
[3.12] gh-115317: Rewrite changelog filter to use vanilla JavaScript (GH-115324) (#115372)
[3.12] GH-121970: Improve the glossary preview in HTML search (GH-121991) (#122016)
[3.12] gh-125933: Add ARIA labels to select elements in the version switcher (GH-125934) (#125939)