launch_editor(): read the file, even when EDITOR=: