I don't think there's any harm in redefining it. I didn't want to redefine jQuery because so many, many things rely on it and attach plugins to the global `jQuery` object -- redefining it could break many things. The jQuery Cookie plugin is not as crucial. That being said, if you think it is, I'm fine with using the same sort of `window.jQuery.fn.cookie || <script>` approach for conditional loading.