I think something changed in a new pygments/jekyll version, because now there's new, trivial tag formatting.
how did this break? hmm...