This is my first post to a new WordPress blog. I am testing code highlighting because I plan to post lots of examples and snippets here. So, I want good code highlighting. The Plum Code Box plugin seems to do a nice job, and it is playing well with my theme, but but it also ...