Add permalinks to section headers

This makes it easier to get links to individual sections, by hovering over section headers.