It's been very good knowing and meeting you all over the years, and I do hope we somehow all manage to get together again (and again!).

The best of times to all here.
Merry Chrismas!