Rebuild end-user doc for f87e96d0f83d71ac10b5a54ac7d28f9a5ccda99f [332]