In reply to a tweet by me:
To be clear, my position is “yes, of course it is.” A Christmas carol is simply a song related to Christmas that people sing at Christmas time.