Or, put another way, how to almost instantly recover 180 GB of hard drive space -- delete this insanely huge text file.