Rebuild end-user doc for ceb0005057a836900a7bb6ebc84cb2b1427678ca [31]