How to pygmentize code that is already in HTML