I have a new Ubuntu machine and I remember there was some special repo used instead of the Ubuntu sources. Or am I wrong here? Clicking around on the website and the Download/Install pages didn't bring up any information - at least I couldn't find any. Thanks for any hint. Regards Rolf