Rebuild end-user doc for 85ea283b2e0cabb266facb1fa68432ae43241c34 [750]