Wat is dat toch: je hebt niets nieuws geïnstalleerd, en toch is alles na herstart ineens anders. Andere lettertypes, andere indelingen - raar. Wéér instellen dat je weergaves in details wilt, en niet met grote pictogrammen. Wéér niet het goede lettertype kunnen terugvinden (en dan maar denken: de vorige keer was het ook ineens weer goed).
Raadselachtig. Je zou de katten gaan verdenken, maar ja, dit gebeurde ook al voor de katten kwamen.