Removed old JavaScript highlighting module and replaced with a better one.