But even in those days, my 13-line C program was not the best way to do this
It was not even the third-best way:
3: with lex:
%% "_\010" { } . { putchar(*yytext); }
2: with sed:
sed -e 's/_\x08//g' # perl version was "s/_\cH//g;"