Label management is sort of broken.
1) Show all labels
2) Choose Edit a label
3) Change the label name
1) The new label name isn't updated.
2) Clicking "Edit Label" on other labels doesn't work.
3) Clicking logo "Refresh current view" doesn't help.
Only after a page reload is the new label shown and further editing of other labels is allowed.