A short note to inform my regular readers that I’ll shortly be “leaving”, metaphorically speaking, for the Christmas holidays. My blog will be paused during then, therefore unfortunately no coverage for those unfortunate papers mistimed enough to come out over the Christmas period. I will resume my blog in the week beginning January 11, so “see” you then! In the meantime, Merry Christmas and Happy New Year! I hope your 2021 will be better than your 2020 (although it’s hard to see how it could be any worse).