Schtum - Good point, well put. I think I'm a bit old to "unlearn" double de-clutching, and I don't usually need to save the hundredths of seconds we're talking here, but I shall have a go, on the way home, tonight.
By the way, I learnt to drive in a 3-speed Ford 100E, with no syncr on bottom gear. So little power that you needed bottom up some hills, and the only way to get into it, without stopping, was to double de-clutch.