Oh, here's the relevant thread! Happy new year indeed, everyone!