Rebuild end-user doc for 08bb58a1a36599d1ddd3a01e7d86c6918db3a115 [193]