Rebuild end-user doc for 5c278318f9e9fa33ebe0d73981cca84f6a80891d [726]