Probably what happened. Why not just give everyone an extra random day off a year. At the beginning of the year there is a draw to pick the next random day off

Probably what happened. Why not just give everyone an extra random day off a year. At the beginning of the year there is a draw to pick the next random day off from the work calendar. Make it into a public holiday. Random Day!