Rebuild end-user doc for a6dbf383d84e4603e56d35391a322b2e02ec437d [258]