Bug?
Yup.
(I don't know if I should immediately file a bug when I think it is a bug without asking what other people thinks.)
1) Do a seach in bugzilla 2) If the search doesn't show anything similar, file it 3) If it's not a bug, it'll be closed as such That's it :)