Rebuild end-user doc for 95af98f304619905e1b2c0222eccd11b2535abb2 [17]