Nice one Keith.
That explanation is simple enough and not entirely inaccurate.
However, the entirely inaccurate lift theorem needs to stop... As pointed out by NASA courtesy of oggers:
The most popular incorrect theory of lift arises from a mis-application of Bernoulli's equation. The theory is known as the "equal transit time" or "longer path" theory
You've spent a bit of time constructing that post and I'm honoured to have precipitated it. Kind regards, Derfred.