Hey everyone,
I wanted to take a moment and wish everyone here a Merry Christmas (or Happy
Holidays if you don't celebrate Christmas). I know it's been a busy time
for everyone, so I hope that these wishes find everyone in good spirits!
--Martin Osterman