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