In addition to newer pandoc, highlighting-kate, and gitit, I think we should have cereal 0.3.5.2, due to runGetLazy being fixed.