Rebuild end-user doc for f3bd42f5841aa2916f34e9bffe8454699ac6a4fd [754]