Rebuild end-user doc for 99896d71a267a5bfd42a357364c3e7c4954f942d [115]