Don't interpret HTML in the inputline history