Talk about learning the hard way! Accidentally deleting files on an ext3 partition is not quite so the reversible process it was on ext2, as explained here.