I think it should be an opt-in not an opt-out. The better way to distribute some holiday cheer would be to release an official VSCode Christmas theme. That way my editor it’s changing its appearance for no reason every year