They were subsequently recovered by Elon’s teams.
Just ‘deleting’ a file doesn’t actually get rid of the file, it just deletes the name from the file allocation table. The data is still on the disc at the original location. A middle schooler could recover them.........................