Rebuild end-user doc for 808fe2e8cde4164a1e9ee1a45ed8439d20457607 [124]