F716252

F716252: external_editor.diviner