[Termtools] StarExec still down

Dear all, while the registration deadline for termCOMP is approaching, StarExec is still unavailable, unfortunately. The reason is an update which takes longer than expected due to technical problems. Hence, no testing is possible at the moment, neither for the participants, nor for me as organizer. Hopefully, StarExec will be back online soon. In any case, these technical issues should not prevent anyone from participating, of course. So if necessary, we will extend the registration deadline further. Let's reassess the situation when StarExec is again available. Best Florian