Rebuild end-user doc for 5407b378a828a3312082b8d0a5f3879739b1699d [718]