Rebuild end-user doc for 5fa4e7b625d24e80a0e545571e4267f861134fec [160]