Update: Leap year's extra day has a Catholic origin