Как увеличить диск vdi от VirtualBox?

Вроде бы простое дело - погасить виртуальную машину и расширить её виртуальный диск. Но как оказалось в VirtualBox в её GUI нет кнопочки увеличить размер виртуального жесткого диска VDI.
Зато есть в командной строке.
1. До 4.0.0

Строго говоря, это не увеличение диска. Нужно создать новый диск требуемого размера и выполнить клонирование
vboxmanage clonehd --existing old_disk.vdi new_disk.vdi
Подсмотрел тут

2. После 4.0.0

VBoxManage modifyhd YOUR_HARD_DISK.vdi --resize SIZE_IN_MB

например, VBoxManage modifyhd natty.vdi --resize 50000

увеличит диск до 50ГБайт

Подсмотрел тут