Rebuild end-user doc for 7dddaf693beff949cd51e8011cb24e3d9ba3adfd [198]