Update doc with laziness and performance info