Rebuild end-user doc for 916311ce96b6860de1dab2dfdab16ed7cb16551d [725]