What text editor could a person use to open a file that's over 4Gb in
size?