Rebuild end-user doc for 5548797b51048e29afd42f93ac32168bfe1c0136 [42]