Rebuild end-user doc for 41a247e75a3e1d282f5d60c3eaf9b2ce90bd3c93 [143]