Certo che l’avevo notato, capo, e te lo feci notare a suo tempo, diciamo più di un anno fa. Mi capita quando vado a vedere quante volte una parola compare nella guida per sostituirla. Facendo ricerche sul PDF, compaiono delle strisce evidenziate anche sulle parti bianche della pagina, per esempio. In quell’occasione ritenemmo la cosa di poca importanza. Probabilmente lo è ancora, ma forse una ripulitina al codice non sarebbe una cattiva cosa, con il tempo e la voglia 🙂
Piuttosto, trovo molto più importante (con rispetto parlando, d’intende) che ci siamo mangiati \cite. Quello snellimento della bibliografia è opera mia, per cui ringrazio l’amico che ce l’ha fatto notare. Siccome è in cantiere una ristrutturazione del capitolo sulla bibliografia (con i tempi dell’edilizia italiana, of course!) chiedo anche a tutti di darci un’occhiata con calma e di segnalare problemi, cose che si vorrebbero trovare, esigenze e altro.
Ciao
Tommaso