Rebuild end-user doc for c93df52ee37b5bf9ecb564e20aaebf84b5e4ec51 [58]