> Even better if we could have proper syntax highlighting.

Yes, that is the best, but first at least the code example markup in textinfo
should be converted to a face, because the markup is  already there, but left unused.