ChromeのGreasemonkeyでjQueryを使う

How can I use jQuery in Greasemonkey scripts in Google Chrome? - Stack Overflow
jQueryの練習にGreasemonkeyを書いてみようと思って調べた。
FirefoxのGreasemonkeyだと@requireにjQueryのURLを書いておけば初期インストールされるときに一緒にjQueryもインストールされて使えるんだけど、ChromeのGreasemonkeyは@requireなどの機能がないため使えない。
そこでjQueryをロードするスクリプトを書く必要があって、下のエントリに書いてあるようにすればいいらしい。
http://erikvold.com/blog/index.cfm/2010/6/14/using-jquery-with-a-user-script

// Code from  http://erikvold.com/blog/index.cfm/2010/6/14/using-jquery-with-a-user-script

// ==UserScript==
// @name         jQuery For Chrome (A Cross Browser Example)
// @namespace    jQueryForChromeExample
// @include      *
// @author       Erik Vergobbi Vold
// @description  This userscript is meant to be an example on how to use jQuery in a userscript on Google Chrome.
// ==/UserScript==

// a function that loads jQuery and calls a callback function when jQuery has finished loading
function addJQuery(callback) {
  var script = document.createElement("script");
  script.setAttribute("src", "http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js");
  script.addEventListener('load', function() {
    var script = document.createElement("script");
    script.textContent = "(" + callback.toString() + ")();";
    document.body.appendChild(script);
  }, false);
  document.body.appendChild(script);
}

// the guts of this userscript
function main() {
  alert("There are " + $('a').length + " links on this page.");
}

// load jQuery and execute the main function
addJQuery(main);