&#160;&#62; Even better if we could have proper syntax highlighting.<br />
<br />
Yes, that is the best, but first at least the code example markup in textinfo<br />
should be converted to a face, because the markup is&#160; already there, but left unused.