Rebuild end-user doc for 9966c78cd27c0df93be5a55ee58152fd218641ae [343]