外部の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'))
の方が短いな。これからはこの書き方にしよう。