add Twitter public timeline link(Greasemonkey script)

Twitterのページにpublic_timelineへのリンクを付けるGreasemonkeyスクリプト。
javascriptすっかり忘れて、調べながらチマチマ書いたら、こんなもんに10分以上かかっちまった。

// ==UserScript==
// @name           Twitter public_timeline link
// @namespace      mstssk
// @include        http://twitter.com/*
// ==/UserScript==

var li = document.getElementById("header").getElementsByTagName("li").item(0);
var newli = document.createElement("li");
var a = document.createElement("a");
var txt = document.createTextNode(" Public Timeline ");
a.href = "http://twitter.com/public_timeline";
a.appendChild(txt);
newli.appendChild(a);
li.parentNode.insertBefore(newli, li);