Perhaps at some point this part could be mostly moved to the "Operating modes" subsection, and we could link to it, with a short summary like:

    The Merkle tree allows clients to verify for themselves that a
    transaction was included in a block without getting a full
    copy of the block. This allows [lightweight SPV operating mode](link).