"When you "use html tags", backslashes will be stripped."
I was aware of that in general, I was just a little surprised that it should apply even within a "pre" block, in which no many other special characters such as the return character behave (apparently) normally.
I was aware of that in general, I was just a little surprised that it should apply even within a "pre" block, in which no many other special characters such as the return character behave (apparently) normally.