Thanks for the guide. I just googled around and found this page on top.
After reading your post, considering it's written in 2013 (now is 2024), it was best practice back then.
But I would like to suggest my method.
TDLR: if anyway you have to reboot, I would boot to ubuntu live cd, then use "gparted" to resize the partition.
Details.
1. Up to step 5, it's same.
2. boot using ubuntu installer CD, choose (I just want to try ubuntu) - This will let you use gui environment.
3. Once the desktop appears, find gparted in the apps.
4. select the disk, use the handle to extend the size of your partition.
5. save & apply & reboot to your original disk.