Rebuild end-user doc for 08a2b6f3525e00981ab24a914060212e78750aa9 [141]