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