Rebuild end-user doc for 637adde46d80099215d40a7f789e42e367cb62f1 [94]