Rebuild end-user doc for 073bdec29adf6dbba3c570e1e6ebdc0ea2416e54 [353]