Rebuild end-user doc for faeb6f42305e6ebd970b84ca600ee2ff88872933 [75]