Martin Koppenhoefer wrote: > IMHO "summer_holiday" would be preferable because we should avoid > abbreviations ... and people have already used the abbreviation "SH" for "School Holidays" (which I'd argue also ought not to be abbreviated for the same reason). Cheers, Andy