Update lazy docs for the lazy-split branch