There is a row of buttons at the top of the page, one of which is labeled "download" (though it seems to have lower importance on the page than, say, "fork").

There is a row of buttons at the top of the page, one of which is labeled "download" (though it seems to have lower importance on the page than, say, "fork"). Clicking that gave me a pile of source code. Are you saying that the text link further down the page is hooked up directly to the executable? Definitely put up a real site for this if you care about it.