seguendo
questa guida, o altre simili in rete, per l'ottimizzazione del menù ho trovato la seguente difficoltà:
non trovo il file indicato, ma spulciando scopro che le righe che devo sostituire sarebbero dentro il file lecacy.php all'interno della cartella mod_mainmenu, però forse la modifica è vana perché vado a modificare i link del topmenu che io ho disabilitato e non trovo modo per modificare quello nella sidebar.