Libraries now can be renamed. A new entry has been added to the library
page menu, which opens a dialog which in turn lets the user input a new
name.