Rebuild end-user doc for 0910874db02c46e940ec26d33f456da6f598a1ca [140]