1235,1588518180,The job of an editor is to let me edit my text file!