Czy dzień wolny z tytułu zasady przeciętnie pięciodniowego tygodnia pracy może przypadać w niedzielę lub w święto?

Czy dzień wolny z tytułu przeciętnie pięciodniowego tygodnia pracy (u nas DW5) można wyznaczyć w harmonogramie pracy w niedzielę lub święto przypadające w tygodniu?

W mojej opinii nie jest prawidłowe udzielanie dnia wolnego DW5 w niedzielę lub święto. Podobnie mówi stanowisko GIP "Art. 129 kp określa, że pracownicy powinni świadczyć pracę przeciętnie 5 dni w tygodniu w przyjętym okresie rozliczeniowym, czyli 40 godzin tygodniowo i 8 godzin dziennie. Dniem wolnym od pracy wynikającym z 5-dniowego tygodnia pracy może być każdy dzień tygodnia z wyjątkiem niedzieli, która jest dniem ustawowo wolnym od pracy. Dzień taki nie może również przypadać w święto. Na ogół, w większości polskich firm jest to sobota (tzw. wolna sobota), ale dni wolne z tytułu 5-dniowego tygodnia pracy mogą przypadać w różnych dniach tygodnia, np. w jednym tygodniu będzie to sobota, w drugim poniedziałek, a w trzecim z kolei środa. To pracodawca ustala termin takiego dnia wolnego w firmie."

Czy jest jeszcze jakieś inne uzasadnienie, podstawa prawna na którą można się powołać zwłaszcza, dlaczego nie można udzielać DW5 w święto?