> I think this is a good thing provided it doesn’t take from people’s annual leave allowance.

They switched to discretionary time off (no formal accounting of paid time off) a few years ago. They also have a one week company shutdown in July and another one week shutdown in December.