Rebuild end-user doc for 70217f97586dc757f95461845c089ce7a4a102ea [79]