Rebuild end-user doc for aa72a9432e25b5c1b6672849758216111c2c87c3 [721]