Folks, the converter is currently crashing and thus not making progress on at least src and ports repos. I'm also unavailable most of the next 2 days, so this might take well into the weekend to get fixed. Wish me luck! Uli