Rinomina le tab del profilo in Documenti e Opzioni.

«Tesseramento» nominava lo scopo invece del contenuto (dati personali,
documento, certificato medico, foto tessera); cambia anche la rotta in
/profilo?tab=documenti. «Impostazioni» diventa «Opzioni» così le quattro
etichette stanno in uno schermo da telefono: le voci della barra si
dividono la riga in parti uguali (grow basis-0) e tornano a scorrere solo
se non ci stanno, quindi vale anche per Squadra e Classifica.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

docs/modules/notifiche.md

@@ -29,7 +29,7 @@ persistente: la riga viene eliminata non appena letta dal service worker).
 
 ## Iscrizione alle notifiche push
 
-In Profilo → Impostazioni c’è **un solo interruttore** («Notifiche»). Non esistono preferenze
+In Profilo → Opzioni c’è **un solo interruttore** («Notifiche»). Non esistono preferenze
 separate per tipo di messaggio: l’iscrizione registra il dispositivo e lo rende destinatario
 di **tutte** le push (promemoria palloni, solleciti presenze) e abilita anche le notifiche
 smart in app, che usano lo stesso service worker.