I know I am supposed to check first if a bug has already been registered, before submitting a new message. But how does one do that, if one cannot search the bug reports by content? I cannot know the number, or author of a bug report, if I know only the symptoms. Best regards -- Josef Dalcolmo