Rebuild end-user doc for 19f7e24f5b53af1e37e508ba325e21e436d3cd38 [355]