Come ho sottolineato nel titolo della domanda, il mio 16 GiB iPhone 4s sta per esaurire la memoria a causa del fatto che ha scaricato da solo iOS 7 (.1.2) senza che non l'avessi mai chiesto.
Se pesi diversi GiB, c'è un modo per sbarazzartene? Ho provato a navigare nel file system attraverso un'app (per OS X) chiamata "iFunBox", ma non c'è modo di individuarla.
Grazie del consiglio!