Rebuild end-user doc for 4b65ddb2707cd85a011092fe51b89924014cd2c5 [381]