Rebuild end-user doc for 854d3005dd94ddaa8b1dc056f9e03d11af6d0117 [172]