Državni prazniki v Sloveniji: Razlika med redakcijama