After a productive year and a nice group Christmas dinner, it’s time for some holidays. A great 2020 to everybody!