Embedding a Github-hosted script in a bookmarklet

gistfile1.js

// Minifiy the following with http://jscompress.com/ and save the string in a Bookmark in your browser

javascript:(function() {
     var extScript = document.createElement('script');
     extScript.type = 'text/javascript';
     extScript.src = 'https://raw.github.com/gist/2576050/009a1d68f3c308bf8ebb041a3b3137d01713673d/enlink.js';
     document.body.appendChild(extScript);
}());