Rebuild end-user doc for a76be741bfd31b3c2b278084e2e8d08f396babda [136]