read-editor-global-footer in Editors

• (read-editor-global-footer in) -> boolean
     in : editor-stream-in% object

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