what Ildefonso's icons should be normally, for Halloween (already exists), for Thanksgiving, and for Christmas.
