外部のJavaScriptを読み込むブックマークレットをちょっと短く。

ああ。

javascript:(function(){var s=document.createElement('script');s.src='...';document.documentElement.appendChild(s)})()

より

javascript:(function(s){s.src='...';document.documentElement.appendChild(s)})(document.createElement('script'))

の方が短いな。これからはこの書き方にしよう。