Rebuild end-user doc for 193f81f57e8f46a4feeae2791ced7126c514833e [737]