Cleanup of old highlight.js