I presume the (automated?) build system is offline due to the website downtime last week. Any idea when that will be back up & running?

Thanks for letting us know. That did escape us as we ourselves use the svn directly. If you are familiar with svn you can get the nightly from there for now. They are correctly tagged but somehow not generated. I will contact our server admin about that.

No problem - I have been using the access to the svn source as well.