Aktualisiertes Porteus Linux bringt einige kleine Änderungen