Update the manual for r23200.