Beste Vanegmond, Mint 13 wordt niet meer ondersteund door Mint, dat kan een reden zijn waarom versies achterlopen. Ik draai thuis Mint17 en ik kreeg dinsdagavond een nieuwe Flashplayer en Firefox 35.0 toegestopt van het updatebeheer programma. Ik meen dat Mint volledig bij is. Versienummers wijken wellicht af van Windowsversienummers, maar dat hoeft niet per se te betekenen dat ze functioneel achterlopen. Over de schijf indelen: het is inderdaad handig om een paar partities handmatig in te delen, een grote partitie voor "/home" en eentje van 20Gb voor "/". Mocht je in de toekomst naar een nieuwere mintversie of een andere Linux over willen, dan herinstalleer je de "/" met behoud van alle user setings die in "/home" staan. Een PC waar Windows op staat heeft normaliter 1 grote partitie voor Windows (OS en \my documents) en nog wat herstelpartities. Als je een linux distro ERBIJ wil zetten op zo'n PC, moet je tijdens de linux installatie met de partitiemanager eerst een heleboel lege schijfruimte van Windows ...