Rebuild end-user doc for 63f203f37b3324f20970f8dba058d4d9fec08c3a [93]