Fix page-top link.

99f7210 introduced jump-to-top link with ID `top`. 5f15520 introduced page-top link without corresponding target element. Should probably reuse existing ID.