write-editor-global-footer in Editors

• (write-editor-global-footer out) -> boolean
     out : editor-stream-out% object

  See write-editor-global-header. Call write-editor-global-footer even if write-editor-global-header returns #f.