note Joost The GNU "strings" program should do exactly that. It's installed on all Linux machines I know. Note that it ignores delete characters etc (instead of deleting the previous character), but that's /usually/ not much of a problem. <p> <!-- Node text goes above. Div tags should contain sig only --> <div class="pmsig"><div class="pmsig-157432"> <em>[id://149675|"What should it profit a man, if he should win a flame war, yet lose his cool?"]</em> </div></div> 684459 684464