Rebuild end-user doc for 88e4daf8550af7ab2a0e6619a93903463932ccae [68]