Table of Content improvements#2045

srittau merged 3 commits intopython:mainpython/typing:mainfrom

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