Rebuild end-user doc for 0ff03617a9f0d0967fd3a94cc7b75246037207af [15]