Table of Content improvements#2045

srittau wants to merge 2 commits intopython:mainpython/typing:mainfrom

srittau:nicer-tocssrittau/typing:nicer-tocsCopy head branch name to clipboard