Rebuild end-user doc for b71d425e71df47d1d4a6471ec99b43e245aae073 [109]