Thanks, @sam! I thought that might be it, and thought I’d checked. Between df reporting a bunch of things that aren’t disks and my having multiple partitions I didn’t notice that / was almost full. (Trying to read df -h on my phone didn’t make it any easier!).
Many thanks.