Rebuild end-user doc for cdd3a82ac2a90dde3a320e3b236a8bc497f0d9a5 [713]