<div dir="ltr"><div class="gmail_extra">Oh, whoops, I top-posted again. Apologies to Luke. I know that's one of your pet peeves.</div></div>