Rebuild end-user doc for 4668209265f9431eb8e311a88f4c7f6e2fb1b995 [74]