So what actually differentiates Christmas elves from the woodland elves?
In any case, this Santa’s workshop hires them all. Merry Christmas!