Rebuild end-user doc for ce7f9015ae7328e9f909e7254dd21c7e3e45be8c [12]