docs: private static void rotate(int first, int middle, int last, Swapper swapper) {
  	// no more needed since manually inlined
  	if (middle != first && middle != last) {
  		reverse(first, middle, swapper);
  		reverse(middle, last, swapper);
  		reverse(first, last, swapper);
  	}
  }