[zzo38computer]

If someone who uses git wants a git-fast-export file, I can provide that. Unfortunately, they will have to ask me for it, because the possibility to do this remotely is not available at this time.