E’ abbastanza semplice Lorenzo: devi aggiungere un’opzione quando ti si apre la pagina di ricerca (Mela-F, anche a te vedo che cmd-F non va giù ;)). Devi includere i documenti di sistema. Hai fatto caso al segno + sulla destra?
Ho provato a dare Comando+F e a cliccare sul +. Si aprono nuove opzioni (Tipo, Data di creazione, data ultima modifica, Data ultima apertura). Ma non capisco come far sì che il Mac cerchi anche nelle cartelle di sistema.
In ogni caso, per trovare, su Mac, la doc. di un pacchetto basta aprire il terminale e scrivere texdoc
Ciao,
L.
P.S. Nel mio nuovo iMac 27” il tasto “Mela” non c’è più! 😉