Ja, inderdaad spatie. Vreemde is nu dat (na opstart), overigens zonder hiermee al wat verandert te hebben in de terminal, er plotseling wel weer een network menu beschikbaar is. Maar geen verbindingsresultaat. Na een volgende opstart is het netwerkmenu weer weg!