I'm considering disabling the survey. We get very very few useful entries there (and I tend to be the only one who sees them, anyway). Again, another backend service that I had to keep running (and that I will keep running for a little while, of course). But I think removing that won't break anyones heart. In case you disagree, please let me know /D