What a shame RJ, before I went out, I discovered that Whiggish historians (presumably Burke was one) used the term English Revolution to refer to the Glorious Revolution, whereas I coming later (and steeped in EP Thompson and Christopher Hill) always thought it referred to the Civil War. One learns something every day
(and deleting the rest is a shame too)