Rebuild end-user doc for 12d4502df8c85e7743f60744abc34b919c62b6a8 [142]