I don't know if it is the cause for the slowness, but I see that there are now 12 different svnserve proceses running. I do know that for some reason, the (virtual) disk speed on MLton.org is really very very bad: doing an md5sum of a 1/2 megabyte file takes just under 15 seconds of real time!