Removed JavaScript highlighting plugin.