Are we using actively using Prism yet? If not, let's keep it out of the tree until we are. Client-side highlighting does intrigue me, though. (We're currently using Pygments on the server side.) It would be interesting to performance-test on some common platforms. What pros/cons are you thinking of?