[wdfx]

This is correct.

In the 90's I recall London area prefix changed from 01 to first 071 (central) and 081 (greater) and then 0171 and 0181. Later still, those codes became 0207 and 0208.

I still notice old shop signs up with the old prefixes.