It was Christmastime — Dec. 20, to be exact — so it might have passed under the public radar a little bit.