Intel map上でポータル名をコピーしようとするとドラッグ操作になってしまってポータル名を選択できない*1ので、HTML5のclipboard APIを使って簡単なブックマークレットを書いてみた。
一度3を実行すれば、4〜5は繰り返し実行できる。
*1 IITCならできるかもしれないけど使ってない。
...
*, **, &