Even before we were reminded that that was a regulation which explicitly allowed it, I think that most of us were very happy that there was no regulation which disallowed it.I was not aware that the regs allowed it when I gave that opinion.
It's not really about diversity in the usual sense - since one cannot apply diversity when one hasn't got a clue what loads may be plugged in. What I presume you are saying is that you believe it very unlikely that loads totalling more than 20A would be plugged into the (potentially many) "13A" outlets on a 20A circuit. That's not really different from my believing that it is very unlikely that a load greater than 6A (probably much less) would be plugged in to a poorly accessible, dedicated and labelled 13A socket on a "6A" lighting circuit.Several 13 amp sockets on a 20 amp circuit is OK. It's about diversity. But you can't apply diversity to a single sockrt.
Indeed, if (as is common) the lighting circuit were wired in 1.5mm cable and if one believes that OPDs exist to protect the cable, then one could say that it's the choice of OPD rating that is resulting in your problem. If it were a 16A OPD (which would be compliant with regs), you presumably would have to withdraw your objection to a 13A socket on the circuit?
Kind Regards, John