Ciao Lorenzo,
il fatto che sia cercabile nel documento diciamo che è abbastanza irrilevante per un utente finale. Secondo me stona un po’.
L’importante è che la guida suggerisca la soluzione migliore 🙂
Per quanto riguarda textcomp e il simbolo dei gradi vi faccio notare alcune cose
(tanto per perdere un po’ di tempo 😀 ).
Se si compone il simbolo dei gradi celsius con ° e una C maiuscola lo spazio tra i due è troppo grande.
Se si usa il comando \textcelsius si ottiene il carattere Unicode 8451 (℃) che è un singolo carattere e il tondino è diverso da quello che si ottiene con \textdegree.
Infine se si usa il pacchetto siunitx il comando \celsius non produce un carattere singolo ma unisce ° con la C maiuscola, usando però la spaziatura corretta.
La seconda mi sembra produca il carattere più bello (usando i Latin Modern).
Ciao ciao.
Fra