Yep, I do. No clear benefits over google-code-prettify, though. Just stuck to one I found smallest and fastest.