PDF bookmarks for the end-user