in reply to Re^3: print a backspace in nph-"HTML"?
in thread print a backspace in nph-"HTML"?

You're right; I was only looking at the if clause in isolation, not in context.