There is now a test release available here: http://www4.in.tum.de/~wenzelm/test/isa2011-test1/ This is an opportunity to check that I did not forget anything important, both in the content of the website and the many add-on components. Makarius