Senso, even als doemdenker: wat gebeurt er als je morgen tegen een boom rijdt en je familie de server uit de lucht trekt. Zijn dan al die manuals verloren? Ik snap je idee voor één centrale locatie, maar ik hoop dat er ook een "plan B" is voor als daar wat mee gebeurt...
Misschien dat wat er gebeurde toen Jurgen Haible overleed?
Dat, toen het bericht rond ging, men meteen de site integraal kopieerde en als backup achter de hand houdt...