Rebuild end-user doc for 6e0d4598e9cfe7fb9a02b73ac36403efe052a384 [23]