AppEngineのログをダウンロードするgreasemonkeyスクリプト

@pto_developerさんが公開しているGoogle App Engine Log Downloader for Greasemonkeyがなかなかいい感じです。ダウンロードってどうやって?と思ったらテキストボックスに画面のHTMLを解析して1リクエスト1行で出力してくれるようです。