Ik heb in het verleden Mint uitgeprobeerd maar was niet enthousiast. Dus ga ik deze versie niet uitproberen. Niettemin, bedankt voor de suggestie.
Door al het gerommel dat ik de afgelopen dagen met de PC heb gedaan, functioneert er van alles niet goed meer (slechte of geen start, programma;s die traag werken en er voortijdig mee ophouden en de onmogelijkheid om met de cursor af te sluiten. Kortom, het wordt tijd dat ik de huidige 12.04 vervang. Maar misschien wacht ik nog even tot iemand voor mij het raadsel van de muis oplost.