But I do think it would be appropriate to cite a bug number IF you feel its worth mentioning that you reported a problem.
Ohhh. So I'd like to pipe in with my personal pet bug: https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=126001
bye, andreas