Down time: I will be on holidays for the next week, and won’t be publishing any new posts during that time. I expect to resume posting on June 2. See you then!