Conina on 12 November 2017
Are you sure it was a text-file and not some game-data with an extension normally used for text-files?
Maybe you deleted a big game, but that wouldn't be a problem until you want to play it.