getEditors(pageIndex) {
    const editors = [];
    for (const editor of this.#allEditors.values()) {
      if (editor.pageIndex === pageIndex) {
        editors.push(editor);
      }
    }
    return editors;
  }
Get all the editors belonging to a given page.
@param {number} pageIndex
@returns {Array<AnnotationEditor>}