<wob_jonas> perl -e open$h,"<",($f="wisdom/font");local$/;$_=<$h>; s"& \\S+/twitter\\.com/\\S+""; if (1) { open $o,">",$f;print$o $_; } print;

"per Martin-Löf" is a common citation lazy logicians use when they don't want to prove their theorems. It rarely gets past peer review.