Rebuild end-user doc for f94debcfe3e2f1c7262a46464cca73880bf3afc4 [113]