mgr/dashboard: It's not possible to rename an existing pool via the UI
By "existing" pool I'm referring to a pool that has been created e.g. during running vstart.
The rename works via commandline. But it does not work via the UI - when editing a pool the input field
just gets highlighted red but there's no error message within the UI and nothing happens when clicking on
the "Edit Pool" button. Seems like this issue is related to the validation of the pool name.