Minor housekeeping

I have eliminated the 'vacation' tag, consolidating onto the 'holiday' tag instead. There was no consistency in how the two were being used, and since they mean essentially the same thing, I elected to drop the more American version.