>>>BTW, Nick, why files in Download section now appear without numbers? How can we reference them? I wanted to point out to File #9925 too (it's a recent file), but could not find it's number...
>>
>>You can search on Download page for Download ID = 1464, also if you put the mouse over the link the last figures in address are the file number.
>
>Yes, this is how I finally determined this number. But it disappeared just recently... Do you know reason, why? It was so simple to just copy the whole line and when add File # between the number....

No, don't know, but Michel works on interface all the time... :)