I recommend publishing this document (modulo fixing minor things like the ones pointed out by Pascal). This is as much 
of requirements as we can get by now. I see my own concerns/contributions nicely integrated so there is nothing that 
should hold back this document.