geanynumberedbookmarks is a plugin to provide users with 10 numbered
bookmarks (in addition to the usual bookkmarks)