Rebuild end-user doc for 16c52989d0405b5a35d7d326915746cbeee17eb9 [83]