docs: public static <ElementT> void rotate(
        @NonNull ElementT[] elements, int startIndex, int length, int amount) {
      if (length >= 2) {
        amount = amount % length;
        // Repeatedly shift by 1. This is not the most time-efficient but the array will typically be
        // small so we don't care, and this avoids allocating a temporary buffer.
        for (int i = 0; i < amount; i++) {
          bubbleDown(elements, startIndex, startIndex + length - 1);
        }
      }
    }