I am aware that you should submit bug reports in a certain format in order to be used by the devs. However, since this is not actually a "BUG report" (just an UI mistake), should I still write it in the bug report format?
I think it would be a good idea.
Please read
this.