user-defined bookmark name

[Sivan22]

Summary

give the user the option to rename a bookmark

Basic example

when pressing "add bookmark" the user would be asked to give a name (for example: הרשבא בענין חלוקה), or use the default reference (like now).

Motivation

this way you could give a meaningful name for your bookmark.