

I’ll stay far away from management. :)
Everywhere i have worked so far (office work) the holiday planning was made just by communicating with your colleagues. You just find a compromise that works for everybody. (Although there is a mentality of “first come, first serve”. If you really need a holiday at a specific time, then better state it early, so the others can plan around it.) The official holiday request afterwards is just a formality, because everything is already planned through and the boss has no reason to decline it.
I am sure there are workplaces where it is handled differently, but that is my personal experience as an office worker.
It’s not actually a rule or law, just what people are usually doing anyway.
If people have the choice to take their holiday on a school break or not, then most take it not on school breaks. Everywhere you go at that time is packed with people.
But taking it during a school break when you don’t need to, when at the same time your colleague can only take it during that time if they want to spend time with their family - well then it is just basic human decency to let them have that timeslot.
Updates are free if you want them to be.
Firefox.com has been operated by Mozilla since 2004. Up until now it redirected to mozilla.org/firefox. They just switched around the redirecting now.
Firefox.org is not and has never been owned by Mozilla.
(The source is the Waybackmachine on archive.org btw)