Onze mirror is nu ook bereikbaar via rsync. Noot van de archivaris: de datum van deze blogpost is een schatting.