Rebuild end-user doc for e25bdcf63bb40b65876b4532d730f17cf107971b [237]