There was an "Eid Mubarak" post also last year: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

As much as I'd love to wish everyone Merry Christmas, I just don't think this is the right place for that.. might as well allow anything and everything then?