Rebuild end-user doc for 2883f127e0af39b533a6f0db320e09706f0e932a [56]