Duplicate paging links on top

Now we have to scroll to the very bottom just to see on which page we are located. This is not convenient.