yeah, the release of Opera 11.5 alpha (a browser) is completely unrelated here.