Rebuild end-user doc for fea4cd3c16d03f00b89085706b3f4b26a024bc58 [71]