Lionello Lunesu wrote: > These issues seem too common not be known. Should I post them in bugzilla? > > L. Rule of thumb: if it is not in the Bugzilla, and it is a bug, post it in the Bugzilla. So I would guess, yes.