Rebuild end-user doc for 5bd6673d04fd3e9dac17a6c4b6ee16c97d899f4a [214]