Merci, Pjotr,
Ik wist dat ik het hier al eens was tegengekomen, maar omdat het niet dringend is, had ik er nog niet naar gezocht. Het is niet dringend omdat het toch "maar" op m'n desktop is, waar de Windowspartitie met ntfs-3g gemount en leesbaar is geworden. Ik werk daar toch vrijwel nooit op, eigenlijk alleen maar onderhoudswerken: de kinderen kennen sudo nog niet.