Rebuild end-user doc for 74afd4436967af4a2a8ee79c3888b09ceb77ba85 [257]