Thanks for help/informations. It seems like this is quite more complicated then I thought. So, maybe one should wait till first stable release right? I have not made a request to switch so far. Do we have a team which is responsible for mirrors? Lucas Betschart