I haven't used the text editer ever before. So my question is: can the file extention be changed in the text editer, or is it limited to the filename? (actually, after 2nd thought, i realised that the filename editer might have a different name than text editer. anyhow, is it possible?).