javascript:(
function() {
function replace(name) {
var t=document.getElementsByTagName(name)[0];
if (t==null)return;
t.value=t.value.replace(/&/g,'&').replace(/\x20\x20/g,'  ').replace(/\x09/g,'    ');
}
replace('textarea');
}
)()
javascript:(
function() {
function replace(name) {
var t=document.getElementsByTagName(name)[0];
if (t==null)return;
t.value=t.value.replace(/&/g,'&').replace(/\x20\x20/g,'  ').replace(/ \x20/g,'  ').replace(/\x09/g,'    ');
}
replace('textarea');
}
)()