Just a quick note to say: it’s holiday time! Hurrah! I am going to try to write a few more advance posts; but things might go quiet here for the next week. See you soon, though.