Rebuild end-user doc for f58c8bdac9eefb97b80b2c90757031deb70655a2 [76]