Supprimer la fonctionnalité de surlignement des résultats de recherche
Pour faire suite à #4954 (closed) on pourrait se passer de cette fonctionnalité peu utilisée et non maintenue ?
Grosso merdo, supprimer https://git.spip.net/spip/spip/src/branch/master/ecrire/inc/surligne.php & https://git.spip.net/spip/spip/src/branch/master/prive/javascript/SearchHighlight.js puis les appels ici https://git.spip.net/spip/spip/src/branch/master/ecrire/inc/pipelines.php#L70 & là https://git.spip.net/spip/spip/src/branch/master/ecrire/paquet.xml#L29