To rename a disk, you have to right-click the disk name, choose properties, and then type the name. A double-click would be nicer.
Patch sent upstream.