Rebuild end-user doc for a76bf660e5634efec605c2c9d9c08fbf85448bc8 [13]