‘Tis the season for Christmas cookies with all the flavors of the season.  In this case, we’re talking peppermint!