Rebuild end-user doc for df10e05ffde890f795ff95eb90ac254695fa7e68 [138]