format_unchanged(
    context: HtmlFormatterContext,
    delta: undefined,
    left: unknown,
  ) {