gerrit.morgengrauen.info / mudlib-public / 2b229373e7851450c1adb80b12e089242784bd90 / doc / master / get_ed_buffer_save_file_name