in any case, please, open a bug, thank you
Do I need to get a new account in order to be able to file a bug? My 'normal' id/pw doesn't seem to work...