Rebuild end-user doc for ea9dbb284f7e9d0d4ccd3b845571bc061e21bbe3 [334]