Kiwinote,
Bedankt voor je antwoord. De actie herstarten en opnieuw aanloggen heb ik diverse keren uitgevoerd zonder success. Hoe het Debian deelmenu is onstaan, in het verleden, is mij niet bekend. De overige deelmenu's , bijv. educatief, hulpmiddelen worden wel goed bijgewerkt.