Ciao,
prima di tutto grazie per i complimenti, è sempre un piacere riceverli e un orgoglio potere darti aiuto 🙂

Allora, ho fatto una prova personalmente:
il file da modificare è
wp-contentthemesattitudelibrarystructurecontent-extensions.php
la linea in cui inserire il codice è la 103, ma nel tuo caso devi usare:

if( is_tax( ‘tipologie’ ) ) { at_archive_buttons(); }

Provandolo in locale funziona correttamente. L’unico problema è che il testo mostrato è un po’ piccolo. Per sistemare apri anche wp-contentpluginsamministrazione-trasparenteshortcodesshortcodes-php-archive.php e rimuovi la parte font-size:0.8em; alla linea 16 (è necessario ripetere questa operazione ad ogni aggiornamento del plugin!)

A presto
Marco