Rebuild end-user doc for 9d05a66a6b8cdab3372005d0a9d2caf6f8cfaace [375]