Administered by:
@dtluna @arunisaac @lohang thanks all. In the end I discovered that resize2fs can expand (but not shrink) a mounted filesystem, even a root one. So I used cfdisk to enlarge the partition, then rebooted and ran resize2fs on it. Job done. I was fully backed up though as it was a bit risky 