gerrit.morgengrauen.info / mudlib-public / 953f9970a70eb34570641c923ace272618c4022b / doc / master / get_ed_buffer_save_file_name