Rebuild end-user doc for 7ded1e13366b397902785ab9fd366e6912771cf9 [45]