There was an "Eid Mubarak" post also last year: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&query=eid%20mubarak&sort=byPopularity&type=story https

There was an "Eid Mubarak" post also last year: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&query=eid%20mubarak&sort=byPopularity&type=story 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?