I realise that I can always read the source, but I was wondering if there is
a document that explains how lazy fetch is implemented, pointing out
amongst other things which bits of the source are used to deliver
lazy fetch?

Regards

David