Rebuild end-user doc for 4b62d43835921dc839f1bb0b32aa6ad1aac7a2a3 [727]