・preで囲む
・HTMLエスケープする
・連続する改行のあいだに半角スペースを入れる
\n\n→\n \n
IEで、なぜかコンテンツが存在しない行は無視されてしまうので…
(いつからそうなったんだ?!)
Windows+IEでしか動かない。なぜなら改行を\015にしているから。
javascript:(function(){var%20s=document.selection.createRange();s.text=s.text.replace(/&/g,'&').replace(/</g,'<').replace(/>/g,'>').replace(/\015/g,' \015');})();