I tried posting this twice before today, but the Grinch must have stolen it (or, more likely, posts with just a title and just a single space for a text aren't going up properly). In any case, Merry Christmas!