Rebuild end-user doc for 938165fd2c4fe06bf5723f8e01b799dcda06bd73 [723]