Thanks.
BTW, some questions about effective bug reporting in these fora: how much possibly private information (e.g. FTP passwords, etc.) is collected in the vslick.sta file (so uploading it to a publicly accessible forum posting is not a good idea)? When I've been able to reproduce a bug with a fresh temporary profile, what profile files (in addition to e.g. stack.log) should be attached to the initial report by default in order to make your task easier?