> Should we update the web pages to have these in a more prominent place > in the download page? Takers? Well, people won't notice it on the news, now ;-) So this might be a good idea. Johannes