Hacker News new | ask | show | jobs
by dotancohen 49 days ago
That's actually a different holiday celebrated on the same day. Why the other holiday got the name May Day is beyond me.