The external drive that I tried to delete the files from was way bigger than the drive I have in this machine.
Could the “undo” information have run me out of disk space?
If so, would the problem lie in /tmp?
Can I safely delete everything in /tmp?
If so, is that worth trying?