removed highlight.js, handled by code extension