re: #343 Thanos
I’m taking a break from the annual war of the leaves to stop in and wish everyone Happy Hanukkah!
Happy Hanukkah to all my Jewish friends. Save me some latkes.