Authorized leave was not vacation. They were days negotiated as compensation for lost holidays during the year.

So yes, they were a sort of holiday pay. Not even close to vacation.

Denny