Rebuild end-user doc for 4a5ae87105e273ef68c5ebf36f530a2bd420c27a [133]