rdoc/rdoc — pull request #329 by blackwinter (2014-10-16 15:09:07+00:00)
Title: 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.