Rebuild end-user doc for ed13b756b7352029377ce94f04a7959f53997f7c [307]