Numbered bookmarks only create confusion since they can quickly get out of sequence. Ctrl-F2 should toggle a bookmark and F2 should navigate to the next bookmark. Shift-F2 should go to the previous bookmark.
Well there are two sorts of people, first category likes numbered bookmarks, second category likes non-numbered bookmarks. We will try to accomodate both in our next release.