For my own future reference, resizing a Digital Ocean storage volume is (as described in the docs) quite easy:
- Resize the volume in the the DO control panel.
$ sudo resize2fs /dev/disk/by-id/scsi-0DO_Volume_volume-xxxn-nn
(I recommend Digital Ocean for anyone needing a VPS. I’ve been using them for a few years and have found it all quite brilliant.)