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

WWW: https://plugins.geany.org/geanynumberedbookmarks.html
