Rebuild end-user doc for 75b8b99a9f27125cb8fa695aa71d79cf1e8ae662 [78]