Rebuild end-user doc for a5d951e660508646de8c2b45e3ca4cf84e892c32 [378]